Tell your friends about this item:
Formal Techniques in Real-time and Fault-tolerant Systems: 4th International Symposium, Uppsala, Sweden, September 9 - 13, 1996, Proceedings (International Symposium, Uppsala, Sweden, September 9-13, 1996 - Proceedings) - Lecture Notes in Computer Science
Bengt Jonsson
Price
£ 50.49
Ordered from remote warehouse
Expected delivery Dec 3 - 12
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: 4th International Symposium, Uppsala, Sweden, September 9 - 13, 1996, Proceedings (International Symposium, Uppsala, Sweden, September 9-13, 1996 - Proceedings) - Lecture Notes in Computer Science
Bengt Jonsson
These conference proceedings contain 22 revised full papers, three invited contributions and five tools demonstrations. The papers are organized into sections on state charts, timed automata, duration calculus, case studies, scheduling, fault tolerance, specification, and verification.
500 pages, biography
| Media | Books Paperback Book (Book with soft cover and glued back) |
| Released | August 21, 1996 |
| ISBN13 | 9783540616481 |
| Publishers | Springer-Verlag Berlin and Heidelberg Gm |
| Pages | 500 |
| Dimensions | 156 × 234 × 25 mm · 693 g |
| Editor | Jonsson, Bengt |
| Editor | Parrow, Joachim |
