10% de desconto
idioma: inglês
Editor: MIT PRESS LTD, julho de 2015 ‧
58,13€
10% DESCONTO CARTÃO
portes grátis
Venda o seu livro
An introduction to writing proofs about computer programs, written in an accessible question-and-answer style, complete with step-by-step examples and a simple proof assistant.

The Little Prover

de Daniel P. (Professor, Indiana University) Friedman e Carl Eastlund

Propriedade Descrição
ISBN: 9780262527958
Editor: MIT PRESS LTD
Data de Lançamento: julho de 2015
Idioma: Inglês
Dimensões: 178 x 229 x 20 mm
Encadernação: Capa mole
Páginas: 248
Tipo de produto: Livro
Coleção: The Little Prover
Classificação Temática: Livros em Inglês > Informática > Programação
EAN: 9780262527958