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 - Libros - Springer-Verlag Berlin and Heidelberg Gm - 9783540410553 - 6 de septiembre de 2000
En caso de que portada y título no coincidan, el título será el correcto

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

Precio
$ 55,99
sin IVA

Pedido desde almacén remoto

Entrega prevista 29 de jun. - 10 de jul.
Añadir a tu lista de deseos de iMusic

The papers are organized in topical sections on model checking, fault tolerance, scheduling, validation, verification, logic and automata.


314 pages, biography

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 6 de septiembre de 2000
ISBN13 9783540410553
Editores Springer-Verlag Berlin and Heidelberg Gm
Páginas 314
Dimensiones 156 × 234 × 17 mm   ·   752 g
Lengua Alemán  
Editor Joseph, Mathai

Mas por Mathai Joseph

Mostrar todo

Mere med samme udgiver