10% de desconto

Correctness-By-Construction Approach To Programming eBook

de Bruce W. Watson e Derrick G. Kourie
idioma: inglês
Editor: Springer Berlin Heidelberg, abril de 2012 ‧
118,59€
10% DESCONTO CARTÃO
DISPONIBILIDADE IMEDIATA
Ebook para ADE
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.

Correctness-By-Construction Approach To Programming

de Bruce W. Watson e Derrick G. Kourie

Propriedade Descrição
ISBN: 9783642279195
Editor: Springer Berlin Heidelberg
Data de Lançamento: abril de 2012
Idioma: Inglês
Tipo de produto: eBook
Formato e Compatibilidade: PDF para ADE
Coleção: Computer Science
Classificação Temática: eBooks em Inglês > Informática > Programação
EAN: 9783642279195

LIVROS DA MESMA COLEÇÃO