The Correctness-by-Construction Approach to Programming - Derrick G. Kourie - Livros - Springer-Verlag Berlin and Heidelberg Gm - 9783642279188 - 12 de abril de 2012
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

Preço
NZ$ 200,87

Item sob encomenda (no estoque do fornecedor)

Data prevista de entrega 15 - 23 de dez
Presentes de Natal podem ser trocados até 31 de janeiro
Adicione à sua lista de desejos do iMusic

Também disponível como:

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     Hardcover Book   (Livro com lombada e capa dura)
Lançado 12 de abril de 2012
ISBN13 9783642279188
Editoras Springer-Verlag Berlin and Heidelberg Gm
Páginas 266
Dimensões 165 × 235 × 26 mm   ·   566 g
Idioma Inglês