Systems and Software Verification: Model-Checking Techniques and Tools - B. Berard - Livros - Springer-Verlag Berlin and Heidelberg Gm - 9783642074783 - 15 de dezembro de 2010
Caso a capa e o título não sejam correspondentes, considere o título como correto

B. Berard
Systems and Software Verification: Model-Checking Techniques and Tools Softcover reprint of hardcover 1st ed. 2001 edition

Preço
€ 135,49

Item sob encomenda (no estoque do fornecedor)

Data prevista de entrega 4 - 12 de jun

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

Também disponível como:

Model checking is a powerful approach for the formal verification of software. The first part describes in simple terms the theoretical basis of model checking: transition systems as a formal model of systems, temporal logic as a formal language for behavioral properties, and model-checking algorithms.

202 pages, 4 black & white illustrations, biography

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 15 de dezembro de 2010
ISBN13 9783642074783
Editoras Springer-Verlag Berlin and Heidelberg Gm
Páginas 190
Dimensões 233 × 157 × 18 mm   ·   328 g
Idioma Alemão  
Tradutor McKenzie, P.

Ver tudo de B. Berard ( por exemplo Hardcover Book e Paperback Book )