Tell your friends about this item:
Formal Techniques in Real-time and Fault Tolerant Systems: 6th International Symposium, Ftrtft 2000 Pune, India, September 20-22, 2000 Proceedings - Lecture Notes in Computer Science
Mathai Joseph
Price
$ 55.99
excl. VAT
Ordered from remote warehouse
Expected delivery Nov 17 - 27
Christmas presents can be returned until 31 January
Our customers say:
Add to your iMusic wish list
Formal Techniques in Real-time and Fault Tolerant Systems: 6th International Symposium, Ftrtft 2000 Pune, India, September 20-22, 2000 Proceedings - Lecture Notes in Computer Science
Mathai Joseph
The papers are organized in topical sections on model checking, fault tolerance, scheduling, validation, verification, logic and automata.
314 pages, biography
| Media | Books Paperback Book (Book with soft cover and glued back) |
| Released | September 6, 2000 |
| ISBN13 | 9783540410553 |
| Publishers | Springer-Verlag Berlin and Heidelberg Gm |
| Pages | 314 |
| Dimensions | 156 × 234 × 17 mm · 752 g |
| Language | German |
| Editor | Joseph, Mathai |
