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

Jose Bacelar Almeida
Rigorous Software Development 2011 edition

Preço
€ 45,49

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

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 Inglês  

Mais dessa série

Ver tudo de Jose Bacelar Almeida ( por exemplo Paperback Book e Book )