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 - Livros - Springer-Verlag Berlin and Heidelberg Gm - 9783540410553 - 6 de setembro de 2000
Caso a capa e o título não sejam correspondentes, considere o título como correto

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
₪ 198,22

Item sob encomenda (no estoque do fornecedor)

Data prevista de entrega 23 - 31 de out
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

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

Mostrar tudo

Mais por Mathai Joseph