Vertel uw vrienden over dit artikel:
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
Prijs
€ 64,99
Besteld in een afgelegen magazijn
Verwachte levering 3 - 12 dec.
Kerstcadeautjes kunnen tot en met 31 januari worden ingewisseld
Onze klanten zeggen:
Voeg toe aan uw iMusic-verlanglijst
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 | Boeken Paperback Book (Boek met zachte kaft en gelijmde rug) |
| Vrijgegeven | 21 augustus 1996 |
| ISBN13 | 9783540616481 |
| Uitgevers | Springer-Verlag Berlin and Heidelberg Gm |
| Pagina's | 500 |
| Afmetingen | 156 × 234 × 25 mm · 693 g |
| Uitgever | Jonsson, Bengt |
| Uitgever | Parrow, Joachim |
