adicionar à lista de desejos
Specification And Transformation Of Programs
A Formal Approach To Software Development
idioma: inglês
Editor:
SPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG, julho de 1990 ‧
ver detalhes do produto
ESGOTADO OU NÃO DISPONÍVEL
Venda o seu livro
SINOPSE
Provides an introduction to formal specification and transformational programming.
DETALHES
| Propriedade | Descrição |
|---|---|
| ISBN: | 9783540523567 |
| Editor: | SPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG |
| Data de Lançamento: | julho de 1990 |
| Idioma: | Inglês |
| Encadernação: | Capa dura |
| Páginas: | 493 |
| Tipo de produto: | Livro |
| Classificação Temática: |
Livros em Inglês
>
Informática
>
Programação
Livros em Inglês > Informática > Iniciação à Informática |
| EAN: | 9783540523567 |