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
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
Paperback:
9780387584683 | Springer Verlag, September 1, 1994, cover price $120.00
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.
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