search for books and compare prices
Burkhart Wolff has written 3 work(s)
Search for other authors with the same name
displaying 1 to 3 | at end
show results in order: alphabetically | oldest to newest | newest to oldest
Cover for 9783642217678 Cover for 9783540496991 Cover for 9783540406648
Tests and Proofs: 5th International Conference, Tap 2011, Zurich, Switzerland, June 30 - July 1, 2011, Proceedings
cover image for 9783642217678
By Burkhart Wolff (editor)
See complete details on each edition (1 edition listed)

Paperback:

9783642217678, titled "Tests and Proofs: 5th International Conference, TAP 2011 Zurich, Switzerland, June 30 - July 1, 2011 Proceedings" | Springer-Verlag New York Inc, August 30, 2011, cover price $89.99

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)

Paperback:

9783540496991 | Springer-Verlag New York Inc, February 3, 2007, cover price $99.00 | 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.

Theorem Proving in Higher Order Logics: 16th International Conference, Tphols 2003, Rome, Italy, September 8-12, 2003 : Proceedings
cover image for 9783540406648
By Tphols 200 (other contributor) and Burkhart Wolff (editor)
See complete details on each edition (1 edition listed)

Paperback:

9783540406648 | Springer-Verlag New York Inc, September 1, 2003, cover price $109.00

displaying 1 to 3 | at end