Systems and Software Verification: Model-Checking Techniques and Tools - B. Berard - Livros - Springer-Verlag Berlin and Heidelberg Gm - 9783540415237 - 20 de junho de 2001
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 2001 edition

Preço
€ 157,99

Item sob encomenda (no estoque do fornecedor)

Data prevista de entrega 29 de mai - 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.

190 pages, biography

Mídia Livros     Hardcover Book   (Livro com lombada e capa dura)
Lançado 20 de junho de 2001
ISBN13 9783540415237
Editoras Springer-Verlag Berlin and Heidelberg Gm
Páginas 190
Dimensões 166 × 242 × 24 mm   ·   412 g
Idioma Inglês   Alemão  
Tradutor McKenzie, P.

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