Specification And Transformation Of Programs

A Formal Approach To Software Development

de Helmut A. Partsch 

Bertrand.pt - Specification And Transformation Of Programs
idioma: Inglês
Editor: SPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG
Edição: julho de 1990
77,24€
Esgotado ou não disponível

Provides an introduction to formal specification and transformational programming.

Specification And Transformation Of Programs
A Formal Approach To Software Development
de Helmut A. Partsch 
ISBN:
9783540523567
Ano de edição:
07-1990
Editor:
SPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG
Idioma:
Inglês
Encadernação:
Capa dura
Páginas:
493
Tipo de Produto:
Livro
EAN:
9783540523567
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.