Model Checking - Cyber Physical Systems Series - Jr., Edmund M. Clarke (Carnegie Mellon University) - Livros - MIT Press Ltd - 9780262038836 - 4 de dezembro de 2018
Caso a capa e o título não sejam correspondentes, considere o título como correto

Jr., Edmund M. Clarke (Carnegie Mellon University)
Model Checking - Cyber Physical Systems Series Second edition

Preço
R$ 412,90
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 25 de set - 16 de out
Receba avisos sobre novos lançamentos de Jr., Edmund M. Clarke (Carnegie Mellon University)

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

An expanded and updated edition of a comprehensive presentation of the theory and practice of model checking, a technology that automates the analysis of complex systems.

424 pages, 154 b 308 Illustrations, unspecified

Mídia Livros     Hardcover Book   (Livro com lombada e capa dura)
Lançado 4 de dezembro de 2018
ISBN13 9780262038836
Editoras MIT Press Ltd
Páginas 424
Dimensões 187 × 236 × 25 mm   ·   828 g
Idioma Inglês  
Editor de séries Belta, Calin (Professor, Boston University)

Mais da mesma editora

Ver tudo de Jr., Edmund M. Clarke (Carnegie Mellon University)