Frete Grátis
  • Google Plus

UT Year Of Programming Series - Formal Development Of Programs And Proofs (Cód: 9242215)

Dijkstra,Edsger W; Dijkstra,E W

Addison Wesley

Ooopss! Este produto está temporariamente indisponível.
Mas não se preocupe, nós avisamos quando ele chegar.

Ooops! Este produto não está mais a venda.
Mas não se preocupe, temos uma versão atualizada para você.

Ooopss! Este produto está fora de linha, mas temos outras opções para você.
Veja nossas sugestões abaixo!

R$ 224,60 em até 7x de R$ 32,09 sem juros
Cartão Saraiva R$ 213,37 (-5%) em até 1x no cartão ou em até 11x de R$ 20,42 sem juros
Grátis

Cartão Saraiva

Descrição

Specifically, this book addresses the derivation of programs and their proofs of correctness. Its underlying theme is that in programming, as in mathematics, the elegance of derivations is an essential goal.

Características

Produto sob encomenda Sim
Marca Addison Wesley
Cód. Barras 9780201172379
Altura 24.13 cm
I.S.B.N. 9780201172379
Profundidade 1.63 cm
Referência 000069771
Acabamento Capa dura
Ano da edição 1989
Idioma Inglês
Número de Páginas 242
Peso 0.50 Kg
Largura 16.76 cm
AutorDijkstra,Edsger W; Dijkstra,E W

Avaliações

Avaliação geral: 0

Você está revisando: UT Year Of Programming Series - Formal Development Of Programs And Proofs