Powiedz znajomym o tym przedmiocie:
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
Cena
zł 282,90
Zamówione z odległego magazynu
Przewidywana dostawa 6 - 17 gru
Świąteczne prezenty można zwracać do 31 stycznia
Nasi klienci mówią:
Dodaj do swojej listy życzeń 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
| Media | Książki Paperback Book (Książka z miękką okładką i klejonym grzbietem) |
| Wydane | 21 sierpnia 1996 |
| ISBN13 | 9783540616481 |
| Wydawcy | Springer-Verlag Berlin and Heidelberg Gm |
| Strony | 500 |
| Wymiary | 156 × 234 × 25 mm · 693 g |
| Redaktor | Jonsson, Bengt |
| Redaktor | Parrow, Joachim |
Pokaż wszystko
Więcej od Bengt Jonsson
Zobacz wszystko od Bengt Jonsson ( np. Paperback Book i Book )