Conte aos seus amigos sobre este item:
Formal Techniques in Real-time and Fault Tolerant Systems: 6th International Symposium, Ftrtft 2000 Pune, India, September 20-22, 2000 Proceedings - Lecture Notes in Computer Science
Mathai Joseph
Preço
CA$ 83,20
Item sob encomenda (no estoque do fornecedor)
Data prevista de entrega 21 - 29 de out
O que dizem nossos clientes:
Adicione à sua lista de desejos do iMusic
Formal Techniques in Real-time and Fault Tolerant Systems: 6th International Symposium, Ftrtft 2000 Pune, India, September 20-22, 2000 Proceedings - Lecture Notes in Computer Science
Mathai Joseph
The papers are organized in topical sections on model checking, fault tolerance, scheduling, validation, verification, logic and automata.
314 pages, biography
| Mídia | Livros Paperback Book (Livro de capa flexível e brochura) |
| Lançado | 6 de setembro de 2000 |
| ISBN13 | 9783540410553 |
| Editoras | Springer-Verlag Berlin and Heidelberg Gm |
| Páginas | 314 |
| Dimensões | 156 × 234 × 17 mm · 752 g |
| Idioma | German |
| Editor | Joseph, Mathai |
