Tools and Algorithms for the Construction and Analysis of Systems: 7th International Conference, Tacas 2001 Held As Part of the Joint European Conferences on Theory and Practice of Software, Etaps 2001 Genova, Italy, April 2-6, 2001 Proceedings - Lecture - Tiziana Margaria - Libros - Springer-Verlag Berlin and Heidelberg Gm - 9783540418658 - 21 de marzo de 2001
En caso de que portada y título no coincidan, el título será el correcto

Tools and Algorithms for the Construction and Analysis of Systems: 7th International Conference, Tacas 2001 Held As Part of the Joint European Conferences on Theory and Practice of Software, Etaps 2001 Genova, Italy, April 2-6, 2001 Proceedings - Lecture

Tiziana Margaria

Precio
€ 118,49

Pedido desde almacén remoto

Entrega prevista 31 de jul. - 12 de ago.

Nuestros clientes opinan:

Política de devolución de 14 días conforme a la legislación europea de protección de los consumidores
Mejor valorado en Trustpilot
Añadir a tu lista de deseos de iMusic

Tools and Algorithms for the Construction and Analysis of Systems: 7th International Conference, Tacas 2001 Held As Part of the Joint European Conferences on Theory and Practice of Software, Etaps 2001 Genova, Italy, April 2-6, 2001 Proceedings - Lecture

This title comprises selected papers covering topics such as symbolic verification, infinite state systems - deduction and abstraction, application of model checking techniques, timed and probabilistic systems, hardware - design and verification, and software verification,

594 pages, biography

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 21 de marzo de 2001
ISBN13 9783540418658
Editores Springer-Verlag Berlin and Heidelberg Gm
Páginas 594
Dimensiones 156 × 234 × 31 mm   ·   1,39 kg
Editor Margaria, Tiziana
Editor Wang, Yi
Mostrar todo

Mas por Tiziana Margaria

Ver todo de Tiziana Margaria ( Ej. Paperback Book )