Programação

Logical Derivation Of Computer Programs

de Thomas G. Windeknecht 

Bertrand.pt - Logical Derivation Of Computer Programs
idioma: Inglês
Editor: INTELLECT BOOKS
Edição: maio de 1999
39,14€
Notifiquem-me quando disponível
RESERVAR NA LIVRARIA Livrarias

This text presents a language-based logic for procedures to derive computer programs from formal specifications. This formal approach is based upon design philosophy, and has been class-tested by the author throughout its development. The book also features examples, and solved exercises.

Da mesma coleção

ver +
Barnsley And Beyond
10%
10% Cartão Leitor Bertrand
11,91€
Pen and Sword
eBook
Barnsley And Beyond
10%
10% Cartão Leitor Bertrand
11,91€
Pen and Sword
eBook
Logical Derivation Of Computer Programs
de Thomas G. Windeknecht 
ISBN:
9781871516982
Ano de edição:
05-1999
Editor:
INTELLECT BOOKS
Idioma:
Inglês
Dimensões:
159 x 234 x 18 mm
Encadernação:
Capa dura
Páginas:
200
Tipo de Produto:
Livro
Coleção:
Railway Memories
Classificação Temática:
Livros  >  Livros em Inglês  >  Informática  >  Programação

Livros  >  Livros em Inglês  >  Outros

EAN:
9781871516982
X
O QUE É O CHECKOUT EXPRESSO?

O ‘Checkout Expresso’ utiliza os seus dados habituais (morada e/ou forma de envio, meio de pagamento e dados de faturação) para que a sua compra seja muito mais rápida. Assim, não tem de os indicar de cada vez que fizer uma compra. Em qualquer altura, pode atualizar estes dados na sua ‘Área de Cliente’.

Para que lhe sobre mais tempo para as suas leituras.