Rigorous Software Development - Jose Bacelar Almeida - Livros - Springer London Ltd - 9780857290175 - 7 de janeiro de 2011
Caso a capa e o título não sejam correspondentes, considere o título como correto

Rigorous Software Development 2011 edition

Jose Bacelar Almeida

Preço
A$ 77,99
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 20 - 27 de ago

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

Rigorous Software Development 2011 edition

This text is a self-contained introduction to program verification using logic-based methods, presented in the broader context of formal methods for software engineering. It focuses on two approaches: the Coq proof assistant and the B suite.

276 pages, 52 black & white illustrations, biography

Mídia Livros     Book
Lançado 7 de janeiro de 2011
ISBN13 9780857290175
Editoras Springer London Ltd
Páginas 307
Dimensões 155 × 235 × 15 mm   ·   390 g
Idioma English  

Ver tudo de Jose Bacelar Almeida ( por exemplo Book )