Model Checking Software: 8th International Spin Workshop, Toronto, Canada, May 19-20, 2001 - Proceedings - Lecture Notes in Computer Science - Matthew Dwyer - Livros - Springer-Verlag Berlin and Heidelberg Gm - 9783540421245 - 2 de maio de 2001
Caso a capa e o título não sejam correspondentes, considere o título como correto

Matthew Dwyer
Model Checking Software: 8th International Spin Workshop, Toronto, Canada, May 19-20, 2001 - Proceedings - Lecture Notes in Computer Science

Preço
€ 50,99

Item sob encomenda (no estoque do fornecedor)

Data prevista de entrega 6 - 16 de nov
Presentes de Natal podem ser trocados até 31 de janeiro
Receba avisos sobre novos lançamentos de Matthew Dwyer

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

Ainda não avaliado

This work constitutes the refereed proceedings of the 8th International SPIN Workshop held in Toronto, Canada, in May 2001. Besides foundational issues of program analysis and formal verification, the papers focus on tools for model checking and practical applications in a variety of fields.

328 pages, biography

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 2 de maio de 2001
ISBN13 9783540421245
Editoras Springer-Verlag Berlin and Heidelberg Gm
Páginas 328
Dimensões 156 × 234 × 17 mm   ·   467 g
Idioma Alemão  
Editor Dwyer, Matthew B.

Mais da mesma editora

Ver tudo de Matthew Dwyer