Symbolic Model Checking - Kenneth L. McMillan - Livros - Springer-Verlag New York Inc. - 9781461363996 - 23 de outubro de 2012
Caso a capa e o título não sejam correspondentes, considere o título como correto

Kenneth L. McMillan
Symbolic Model Checking Softcover reprint of the original 1st ed. 1993 edition

Preço
€ 60,49

Item sob encomenda (no estoque do fornecedor)

Data prevista de entrega 27 de ago - 10 de set
Receba avisos sobre novos lançamentos de Kenneth L. McMillan

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

Formal verification means having a mathematical model of a system, a language for specifying desired properties of the system in a concise, comprehensible and unambiguous way, and a method of proof to verify that the specified properties are satisfied.

194 pages, biography

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 23 de outubro de 2012
ISBN13 9781461363996
Editoras Springer-Verlag New York Inc.
Páginas 194
Dimensões 233 × 155 × 17 mm   ·   308 g
Idioma Inglês  

Mais da mesma editora

Ver tudo de Kenneth L. McMillan ( por exemplo Paperback Book )