Tell your friends about this item:
Runtime Verification: First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings - Lecture Notes in Computer Science Howard Barringer 2010 edition
Do you have a profile? Log in
Christmas presents can be returned until 31 January
Get notified about new Howard Barringer releases
Add to your iMusic wish list
Runtime Verification: First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings - Lecture Notes in Computer Science
Howard Barringer
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 |