Faites connaître cet article à vos amis:
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
Prix
€ 64,49
Commandé depuis un entrepôt distant
Livraison prévue 3 - 12 déc.
Les cadeaux de Noël peuvent être échangés jusqu'au 31 janvier
Nos clients disent :
Ajouter à votre liste de souhaits iMusic
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
| Médias | Livres Paperback Book (Livre avec couverture souple et dos collé) |
| Validé | 21 août 1996 |
| ISBN13 | 9783540616481 |
| Éditeurs | Springer-Verlag Berlin and Heidelberg Gm |
| Pages | 500 |
| Dimensions | 156 × 234 × 25 mm · 693 g |
| Éditeur | Jonsson, Bengt |
| Éditeur | Parrow, Joachim |
