Take a photo of a barcode or cover
Read With Others
Book Information
232 pages • paperback • 7 editions
ISBN/UID: 9783540503026
Format: Paperback
Language: English
Publisher: Springer
Edition Pub Date: 14 Sep 1988
Description
This is a collection of papers from the Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems held at the University of Warwick on 22-23 September 1988. The papers cover a variety of subjects in these areas and illustrate differen...
Community Reviews
Content Warnings
232 pages • paperback
ISBN/UID: 9783540503026
Format: Paperback
Language: English
Publisher: Springer
Edition Pub Date: 14 Sep 1988
Description
This is a collection of papers from the Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems held at the University of Warwick on 22-23 September 1988. The papers cover a variety of subjects in these areas and illustrate differen...