The Correctness-by-Construction Approach to Programming - Derrick G. Kourie - Livros - Springer-Verlag Berlin and Heidelberg Gm - 9783642448546 - 9 de maio de 2014
Caso a capa e o título não sejam correspondentes, considere o título como correto

The Correctness-by-Construction Approach to Programming 2012 edition

Derrick G. Kourie

Preço
R$ 607,90
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 4 - 10 de nov
Presentes de Natal podem ser trocados até 31 de janeiro

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

Também disponível como:

The Correctness-by-Construction Approach to Programming 2012 edition

Focusing on ways to bridge the gap between formal and more intuitive software programming, this carefully graded text provides stepwise explanation of algorithm derivation and facilitates practical applications in computation geometry, among other fields.

266 pages, biography

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 9 de maio de 2014
ISBN13 9783642448546
Editoras Springer-Verlag Berlin and Heidelberg Gm
Páginas 266
Dimensões 155 × 235 × 15 mm   ·   394 g
Idioma English  

Ver tudo de Derrick G. Kourie ( por exemplo Hardcover Book e Paperback Book )