Principles of Model Checking - Principles of Model Checking - Baier, Christel (Technische Universitat Dresden) - Livros - MIT Press Ltd - 9780262026499 - 1 de maio de 2008
Caso a capa e o título não sejam correspondentes, considere o título como correto

Baier, Christel (Technische Universitat Dresden)
Principles of Model Checking - Principles of Model Checking

Preço
R$ 745,90
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 24 de set - 15 de out
Receba avisos sobre novos lançamentos de Baier, Christel (Technische Universitat Dresden)

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

A comprehensive introduction to the foundations of model checking, a fully automated technique for finding flaws in hardware and software; with extensive examples and both practical and theoretical exercises.

984 pages, illus.

Mídia Livros     Hardcover Book   (Livro com lombada e capa dura)
Lançado 1 de maio de 2008
ISBN13 9780262026499
Editoras MIT Press Ltd
Páginas 984
Dimensões 206 × 258 × 42 mm   ·   1,83 kg

Mais da mesma editora

Ver tudo de Baier, Christel (Technische Universitat Dresden)