search for books and compare prices
Jan Vytopil has written 4 work(s)
Search for other authors with the same name
displaying 1 to 4 | at end
show results in order: alphabetically | oldest to newest | newest to oldest
Cover for 9780792393320 Cover for 9781461364146 Cover for 9780387584683 Cover for 9783540550921 Cover for 9783540584681
cover image for 9781461364146
By Jan Vytopil (editor)

Hardcover:

9780792393320 | Kluwer Academic Pub, April 1, 1993, cover price $229.00

Paperback:

9781461364146 | Reprint edition (Springer-Verlag New York Inc, September 27, 2012), cover price $229.00

cover image for 9783540550921
Product Description: This book presents state-of-the-art research results in the area of formal methods for real-time and fault-tolerant systems. The papers consider problems and solutions in safety-critical system design and examine how wellthe use of formal techniques for design, analysis and verification serves in relating theory to practical realities...read more

Paperback:

9783540550921, titled "Formal Techniques in Real-time and Fault-tolerant Systems: Second International Symposium, Nijmegen, the Netherlands, January 8-10, 1992. Proceedings" | Springer Verlag, April 1, 1993, cover price $159.00 | About this edition: This book presents state-of-the-art research results in the area of formal methods for real-time and fault-tolerant systems.
9780387550923 | Springer Verlag, January 1, 1992, cover price $102.00 | About this edition: This book presents state-of-the-art research results in the area of formal methods for real-time and fault-tolerant systems.

cover image for 9783540584681
Product Description: This volume presents the proceedings of the Third International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems held jointly with the Working Group Provably Correct Systems (ProCoS) at Lübeck, Germany in September 1994...read more

Paperback:

9783540584681, titled "Formal Techniques in Real-time and Fault-tolerant Systems: Third International Symposium Organized Jointly With the Working Group Provably Correct Systems - Procos, Lübeck, Germany, September 19 - 23, 1994. Pr" | Springer-Verlag New York Inc, April 1, 1993, cover price $179.00 | About this edition: This volume presents the proceedings of the Third International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems held jointly with the Working Group Provably Correct Systems (ProCoS) at Lübeck, Germany in September 1994.

displaying 1 to 4 | at end