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 - Livros - Springer-Verlag Berlin and Heidelberg Gm - 9783540418658 - 21 de março de 2001
Caso a capa e o título não sejam correspondentes, considere o título como correto

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

Preço
€ 120,49

Item sob encomenda (no estoque do fornecedor)

Data prevista de entrega 31 de jul - 12 de ago

O que dizem nossos clientes:

Política de devolução de 14 dias, em conformidade com a lei europeia de proteção do consumidor
Melhor classificação na Trustpilot
Adicione à sua lista de desejos do 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

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 21 de março de 2001
ISBN13 9783540418658
Editoras Springer-Verlag Berlin and Heidelberg Gm
Páginas 594
Dimensões 156 × 234 × 31 mm   ·   1,39 kg
Editor Margaria, Tiziana
Editor Wang, Yi
Mostrar tudo

Mais por Tiziana Margaria

Ver tudo de Tiziana Margaria ( por exemplo Paperback Book )