Jan Vytopil – författare
Visar alla böcker från författaren Jan Vytopil. Handla med fri frakt och snabb leverans.
5 produkter
Formal Techniques in Real-Time and Fault-Tolerant Systems
Av Jan Vytopil
Inbunden, 1993
1686 kr
Lägg i varukorg
This text focuses on the state of the art in formal specification, development and verification of fault-tolerant computing systems. The term "fault-tolerance" refers to a system having properties which enable it to deliver its specified function and despite (certain) faults of its subsystem. …
Formal Techniques in Real-Time and Fault-Tolerant Systems
Av Jan Vytopil
Häftad, 2012
1688 kr
Lägg i varukorg
Formal Techniques in Real-Time and Fault-Tolerant Systems focuses on the state of the art in formal specification, development and verification of fault-tolerant computing systems. The term `fault-tolerance' refers to a system having properties which enable it to deliver its specified function …
Formal Techniques in Real-Time and Fault-Tolerant Systems
Av Jan Vytopil
E-bok, 2012
2065 kr
Lägg i varukorg
Formal Techniques in Real-Time and Fault-Tolerant Systems focuses on the state of the art in formal specification, development and verification of fault-tolerant computing systems. The term `fault-tolerance'' refers to a system having properties which enable it to deliver its specified function …
Formal Techniques in Real-Time and Fault-Tolerant Systems
Second International Symposium, Nijmegen, The Netherlands, January 8-10, 1992. Proceedings
Av Jan Vytopil
Häftad, 1991
1095 kr
Lägg i varukorg
This book presents state-of-the-art research results in thearea of formal methods for real-time and fault-tolerantsystems. The papers consider problems and solutions insafety-critical system design and examine how wellthe useof formal techniques for design, analysis and verificationserves in …
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. Proceedings
Av Hans Langmaack, Willem-Paul de Roever m. fl.
Häftad, 1994
1128 kr
Lägg i varukorg
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.The book contains full versions of 5 invited talks and 33 …
