Runtime Verification: First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings - Lecture Notes in Computer Science - Howard Barringer - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783642166112 - October 19, 2010
In case cover and title do not match, the title is correct

Runtime Verification: First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings - Lecture Notes in Computer Science 2010 edition


Get an email once the item is available
Do you have a profile? Log in
Get notified about new Howard Barringer releases
Add to your iMusic wish list

Not rated yet

Constitutes the thoroughly refereed conference proceedings of the First International Conference on Runtime Verification, RV 2010, held in St Julians, Malta, in November 2010.


492 pages, 145 black & white illustrations, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released October 19, 2010
ISBN13 9783642166112
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 492
Dimensions 155 × 236 × 28 mm   ·   757 g
Language French  
Editor Barringer, Howard
Editor Falcone, Ylies
Editor Finkbeiner, Bernd
Editor Havelund, Klaus
Editor Lee, Insup
Editor Pace, Gordon
Editor Rosu, Grigore
Editor Sokolsky, Oleg
Editor Tillmann, Nikolai

More by Howard Barringer

Show all

More from the same publisher