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)

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 Willem-PauldeRoever (Series Editor), JanVytopil (Series Editor), HansLangmaack (Editor)

$134.40

Save:$12.67 (9%)

Quantity

10 in stock

More Information

Format: Paperback
Pages: 808
Edition: 1994
Publisher: Springer
Published: 22 Feb 2009

ISBN 10: 3540584684
ISBN 13: 9783540584681