search for books and compare prices
Ezio Bartocci has written 1 work(s)
Search for other authors with the same name
displaying 1 to 1 | at end
show results in order: alphabetically | oldest to newest | newest to oldest
Runtime Verification: 6th International Conference, Rv 2015
cover image for 9783319238197
Product Description: This book constitutes the refereed proceedings of the 6th International Conference on Runtime Verification, RV 2015, held in Vienna, Austria, in September 2015. The 15 revised full papers presented together with 4 short papers, 2 tool papers, 4 tutorials, 3 invited talks, and 2 software competition papers were carefully reviewed and selected from 45 submissions...read more
By Ezio Bartocci (editor) and Rupak Majumdar (editor)
See complete details on each edition (1 edition listed)

Paperback:

9783319238197 | Springer-Verlag New York Inc, September 11, 2015, cover price $84.00 | About this edition: This book constitutes the refereed proceedings of the 6th International Conference on Runtime Verification, RV 2015, held in Vienna, Austria, in September 2015.

displaying 1 to 1 | at end