Recomienda este artículo a tus amigos:
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
Precio
€ 63,49
Pedido desde almacén remoto
Entrega prevista 3 - 12 de dic.
Los regalos de Navidad se podrán canjear hasta el 31 de enero
Nuestros clientes opinan:
Añadir a tu lista de deseos de 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
| Medios de comunicación | Libros Paperback Book (Libro con tapa blanda y lomo encolado) |
| Publicado | 21 de agosto de 1996 |
| ISBN13 | 9783540616481 |
| Editores | Springer-Verlag Berlin and Heidelberg Gm |
| Páginas | 500 |
| Dimensiones | 156 × 234 × 25 mm · 693 g |
| Editor | Jonsson, Bengt |
| Editor | Parrow, Joachim |
