Share
runtime verification: first international conference, rv 2010, st. julians, malta, november 1-4, 2010. proceedings
Howard Barringer
(Illustrated by)
·
Ylies Falcone
(Illustrated by)
·
Bernd Finkbeiner
(Illustrated by)
·
Springer
· Paperback
runtime verification: first international conference, rv 2010, st. julians, malta, november 1-4, 2010. proceedings - Barringer, Howard ; Falcone, Ylies ; Finkbeiner, Bernd
Out of Stock
We'll email you when the book is available again
Synopsis "runtime verification: first international conference, rv 2010, st. julians, malta, november 1-4, 2010. proceedings"
Constitutes the thoroughly refereed conference proceedings of the First International Conference on Runtime Verification, RV 2010, held in St Julians, Malta, in November 2010.