Programação

Specification And Transformation Of Programs

A Formal Approach To Software Development

de Helmut A. Partsch 

eBook
Bertrand.pt - Specification And Transformation Of Programs
idioma: Inglês
Editor: Springer Berlin Heidelberg
Edição: dezembro de 2012
10%
59,61€
Poupe 5,96€ (10%) Cartão Leitor Bertrand
Disponibilidade Imediata
EBOOK PARA ADOBE DIGITAL EDITIONS (ADE)

An introductory textbook on formal specification and transformational programming as an approach to software development.

Da mesma coleção

ver +
Introduction To Signal Detection And Estimation
10%
10% Cartão Leitor Bertrand
95,40€
Poupe 9,54€
SPRINGER NEW YORK
eBook
Advanced Topics In Shannon Sampling And Interpolation Theory
10%
10% Cartão Leitor Bertrand
59,61€
Poupe 5,96€
SPRINGER NEW YORK
eBook
Specification And Transformation Of Programs
A Formal Approach To Software Development
de Helmut A. Partsch 
ISBN:
9783642615122
Ano de edição:
12-2012
Editor:
Springer Berlin Heidelberg
Idioma:
Inglês
Tipo de Produto:
eBook
Coleção:
Springer Texts In Electrical Engineering
Formato:
PDF para ADE i
Classificação Temática:
eBooks  >  eBooks em Inglês  >  Informática  >  Programação

EAN:
9783642615122
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.