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
by Hans Langmaack
Available
Ships From New York
Free Shipping within U.S.A
International Shipping?
Check Delivery Estimate and
Shipping Cost
for your country
| Publisher: | Springer |
| Published In: | 07-Sep-1994 |
| ISBN-10: | 3540584684 |
| ISBN-13: | 9783540584681 |
| Binding Type: | Paperback |
| Weight: | 2.02 lbs |
| Pages: | pp. 812, 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss |
The Title "Formal Techniques in Real-Time and Fault-Tolerant Systems" is written by Hans Langmaack. This book was published in the year 1994. The ISBN number 3540584684|9783540584681 is assigned to the Paperback version of this title. This book has total of pp. xiv + 787 (Pages). The publisher of this title is Springer. We have about 138114 other great books from this publisher. Formal Techniques in Real-Time and Fault-Tolerant Systems is currently Available with us.