ISBN.nu logo
isbn.nu
search for books and compare prices
Search >
Klaus Havelund has written 2 work(s)
Search for other authors with the same name
displaying 1 to 2 | at end
show results in order: alphabetically | oldest to newest | newest to oldest
1
Runtime Verification: First International Conference, Rv 2010, St. Julians, Malta, November 1-4, 2010. Proceedings
cover image for 9783642166112
Product Description: This book constitutes the thoroughly refereed conference proceedings of the First International Conference on Runtime Verification, RV 2010, held in St. Julians, Malta, in November 2010. The 23 revised full papers presented together with 6 invited papers, 6 tutorials and 4 tool demonstrations were carefully reviewed and selected from 74 submissions...read more
By Howard Barringer (editor), Ylies Falcone (editor), Bernd Finkbeiner (editor), Klaus Havelund (editor) and Insup Lee (editor)
See complete details on each edition (1 edition listed)
Edition summary (click for prices and details):

Paperback:

9783642166112 | Springer-Verlag New York Inc, November 15, 2010, cover price $107.00 | About this edition: This book constitutes the thoroughly refereed conference proceedings of the First International Conference on Runtime Verification, RV 2010, held in St.

2
Formal Approaches to Software Testing and Runtime Verification: First Combined International Workshops Fates 2006 and Rv 2006 Seattle, Wa, USA, August 15-16, 2006 Revised Selected Papers
cover image for 9783540496991
Product Description: This book constitutes the thoroughly refereed post-proceedings of the First Combined International Workshops on Formal Approaches to Software Testing, FATES 2006, and on Runtime Verification, RV 2006, held within the scope of FLoC 2006, the Federated Logic Conference in Seattle, WA, USA in August 2006...read more
By Klaus Havelund (editor), Manuel Núnez (editor), Grigore Rosu (editor) and Burkhart Wolff (editor)
See complete details on each edition (1 edition listed)
Edition summary (click for prices and details):

Paperback:

9783540496991 | Springer-Verlag New York Inc, February 3, 2007, cover price $69.95 | About this edition: This book constitutes the thoroughly refereed post-proceedings of the First Combined International Workshops on Formal Approaches to Software Testing, FATES 2006, and on Runtime Verification, RV 2006, held within the scope of FLoC 2006, the Federated Logic Conference in Seattle, WA, USA in August 2006.

displaying 1 to 2 | at end