search for books and compare prices
Martin Leucker 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 9783540892465 Cover for 9783540709510 Cover for 9783540262787
Runtime Verification: 8th International Workshop, Rv 2008 Budapest, Hungary, March 30, 2005 Selected Papers
cover image for 9783540892465
Product Description: This book constitutes the thoroughly refereed post-proceedings of the 8th International Workshop on Runtime Verification, RV 2008, held in Budapest, Hungary, in March 2008 as satellite event of ETAPS 2008. The 9 revised full papers presented together with 2 invited papers were carefully selected from 27 initial submissions...read more
By Martin Leucker (editor)
See complete details on each edition (1 edition listed)

Paperback:

9783540892465 | Springer-Verlag New York Inc, November 21, 2008, cover price $99.00 | About this edition: This book constitutes the thoroughly refereed post-proceedings of the 8th International Workshop on Runtime Verification, RV 2008, held in Budapest, Hungary, in March 2008 as satellite event of ETAPS 2008.

Formal Methods Applications and Technology: 11th International Workshop, on Formal Methods for Industrial Critical Systems, FMICS 2006 and 5th International Workshop, PDMC 2006 Bonn, Germany, A
cover image for 9783540709510
Product Description: This book constitutes the thoroughly refereed joint post-proceedings of the two International Workshops on Formal Methods for Industrial Critical Systems, FMICS 2006, and on Parallel and Distributed Methods in Verification, PDMC 2006, held in Bonn, Germany in August 2006 in the course of the 17th International Conference on Concurrency Theory, CONCUR 2006...read more
By Lubos Brim (editor), Boudewijn Haverkort (editor), Martin Leucker (editor) and Jaco Van De Pol (editor)
See complete details on each edition (1 edition listed)

Paperback:

9783540709510 | Springer-Verlag New York Inc, March 28, 2007, cover price $109.00 | About this edition: This book constitutes the thoroughly refereed joint post-proceedings of the two International Workshops on Formal Methods for Industrial Critical Systems, FMICS 2006, and on Parallel and Distributed Methods in Verification, PDMC 2006, held in Bonn, Germany in August 2006 in the course of the 17th International Conference on Concurrency Theory, CONCUR 2006.

Model-based Testing of Reactive Systems: Advanced Lectures
cover image for 9783540262787
By Manfred Broy (editor), Bengt Jonsson (editor), Joost-Pieter Katoen (editor), Martin Leucker (editor) and Alexander Pretschner (editor)
See complete details on each edition (1 edition listed)

Paperback:

9783540262787 | Springer-Verlag New York Inc, August 15, 2005, cover price $129.00

displaying 1 to 3 | at end