Conte aos seus amigos sobre este item:
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
Preço
€ 64,99
Item sob encomenda (no estoque do fornecedor)
Data prevista de entrega 5 - 16 de dez
Presentes de Natal podem ser trocados até 31 de janeiro
O que dizem nossos clientes:
Adicione à sua lista de desejos do 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ídia | Livros Paperback Book (Livro de capa flexível e brochura) |
| Lançado | 21 de agosto de 1996 |
| ISBN13 | 9783540616481 |
| Editoras | Springer-Verlag Berlin and Heidelberg Gm |
| Páginas | 500 |
| Dimensões | 156 × 234 × 25 mm · 693 g |
| Editor | Jonsson, Bengt |
| Editor | Parrow, Joachim |
