| Runtime Verification: First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings 2010 Edition Contributor(s): Barringer, Howard (Editor), Falcone, Ylies (Editor), Finkbeiner, Bernd (Editor) |
|
 |
ISBN: 3642166113 ISBN-13: 9783642166112 Publisher: Springer OUR PRICE: $52.24 Product Type: Paperback - Other Formats Published: October 2010 |
| Additional Information |
| BISAC Categories: - Computers | Software Development & Engineering - General - Computers | Programming - Algorithms - Computers | Programming Languages - General |
| Dewey: 005.1 |
| Series: Lecture Notes in Computer Science / Programming and Software |
| Physical Information: 1.1" H x 6.1" W x 9.3" (1.67 lbs) 492 pages |
| Descriptions, Reviews, Etc. |
| Publisher Description: Constitutes the thoroughly refereed conference proceedings of the First International Conference on Runtime Verification, RV 2010, held in St Julians, Malta, in November 2010. |