Freunden von diesem Artikel berichten:
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
Preis
€ 65,49
Bestellware
Lieferdatum: ca. 3. - 12. Dez
Weihnachtsgeschenke können bis zum 31. Januar umgetauscht werden
Zu deiner iMusic Wunschliste hinzufügen
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
| Medien | Bücher Taschenbuch (Buch mit Softcover und geklebtem Rücken) |
| Erscheinungsdatum | 21. August 1996 |
| ISBN13 | 9783540616481 |
| Verlag | Springer-Verlag Berlin and Heidelberg Gm |
| Seitenanzahl | 500 |
| Maße | 156 × 234 × 25 mm · 693 g |
| Redakteur | Jonsson, Bengt |
| Redakteur | Parrow, Joachim |
Alle anzeigen
Weitere Titel von Bengt Jonsson
Alle Titel von Bengt Jonsson ansehen ( u. a. Taschenbuch und Buch )