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
Mex$ 963
sin IVA

Pedido desde almacén remoto

Entrega prevista 11 - 21 de ago.
Recibe notificaciones sobre nuevos lanzamientos de Mathai Joseph
Añadir a tu lista de deseos de iMusic

Aún no valorado

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

Más del mismo editor