Take a photo of a barcode or cover
Read With Others
Book Information
787 pages • paperback • 7 editions
ISBN/UID: 9783540584681
Format: Paperback
Language: English
Publisher: Springer
Edition Pub Date: 07 Sep 1994
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.The b...
Community Reviews
Content Warnings
787 pages • paperback
ISBN/UID: 9783540584681
Format: Paperback
Language: English
Publisher: Springer
Edition Pub Date: 07 Sep 1994
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.The b...
Community Reviews
Content Warnings