Vinkkaa tuotetta kavereillesi:
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
Hinta
€ 52,99
Tilattu etävarastosta
Arvioitu toimitus ke 31. joulu - to 8. tammi 2026
Joululahjoja voi vaihtaa 31.1. asti
Lisää iMusic-toivelistallesi
tai
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 | Kirjat Paperback Book (Kirja pehmeillä kansilla ja liimatulla selällä) |
| Julkaisupäivämäärä | keskiviikko 21. elokuuta 1996 |
| ISBN13 | 9783540616481 |
| Tuottaja | Springer-Verlag Berlin and Heidelberg Gm |
| Sivujen määrä | 500 |
| Mitta | 156 × 234 × 25 mm · 693 g |
| Kieli | Saksa |
| Toimittaja | Jonsson, Bengt |
| Toimittaja | Parrow, Joachim |
Lisää tuotteita Bengt Jonsson
Näytä kaikki
Katso kaikki joka sisältää Bengt Jonsson ( Esim. Paperback Book )