Stock image for illustration purposes only - book cover, edition or condition may vary.
Runtime Verification
Barringer, Howard. Ed(S): Falcone, Y.; Finkbeiner, B.; Havelund, K.; Lee, I-.Der; Pace, G.; Rosu, Grigore; Sokolsky, Oleg; Tilmann, N.; Barringer, H.
€ 69.19
FREE Delivery in Ireland
Description for Runtime Verification
Paperback. Constitutes the thoroughly refereed conference proceedings of the First International Conference on Runtime Verification, RV 2010, held in St Julians, Malta, in November 2010. Editor(s): Falcone, Y.; Finkbeiner, B.; Havelund, K.; Lee, I-.der; Pace, G.; Rosu, Grigore; Sokolsky, Oleg; Tilmann, N.; Barringer, H. Series: Lecture Notes in Computer Science. Num Pages: 492 pages, 145 black & white illustrations, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 28. Weight in Grams: 757.
This volume contains the proceedings of the 2010 Runtime Veri?cation conf- ence (RV 2010), which was held in St. Julians, Malta on November 1-4, 2010. The conference program included a mix of invited talks and peer reviewed p- sentations, tutorials, and tool demonstrations. The 2010 Runtime Veri?cation conference was a forum for researchers and industrial practitioners to present theories and tools for monitoring and anal- ing system(softwareandhardware)executions,aswell asa forumfor presenting applications of such tools to practical problems. The ?eld of runtime veri?cation is often referred to under di?erent names, including dynamic analysis, runtime analysis, and runtime monitoring, to mention a ... Read more
This volume contains the proceedings of the 2010 Runtime Veri?cation conf- ence (RV 2010), which was held in St. Julians, Malta on November 1-4, 2010. The conference program included a mix of invited talks and peer reviewed p- sentations, tutorials, and tool demonstrations. The 2010 Runtime Veri?cation conference was a forum for researchers and industrial practitioners to present theories and tools for monitoring and anal- ing system(softwareandhardware)executions,aswell asa forumfor presenting applications of such tools to practical problems. The ?eld of runtime veri?cation is often referred to under di?erent names, including dynamic analysis, runtime analysis, and runtime monitoring, to mention a ... Read more
Product Details
Format
Paperback
Publication date
2010
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
492
Condition
New
Series
Lecture Notes in Computer Science
Number of Pages
492
Place of Publication
Berlin, Germany
ISBN
9783642166112
SKU
V9783642166112
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-3
Reviews for Runtime Verification