Buy Used and New JanVytopil Books

Formal Techniques in Real-Time and Fault-Tolerant Systems: Second International Symposium, Nijmegen, The Netherlands, January 8-10, 1992. Proceedings: ... 1992 (Lecture Notes in Computer Science)

by Jan Vytopil

ISBN 13: 9783540550921

Format: Illustrated (640 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later

Formal Techniques in Real-Time and Fault-Tolerant System: Third International Symposium Organized Jointly with the Working Group Provably Correct ... 863 (Lecture Notes in Computer Science)

by Hans Langmaack, Jan Vytopil, Willem-Paul de Roever

ISBN 13: 9783540584681

Format: Paperback (808 pages)
Publisher: Springer
Published: 22 Feb 2009

Save for later

Formal Techniques in Real-Time and Fault-Tolerant Systems: 221 (The Springer International Series in Engineering and Computer Science)

by Jan Vytopil

ISBN 13: 9781461364146

Format: Paperback (228 pages)
Publisher: Springer
Published: 30 Apr 1993

Save for later