adicionar à lista de desejos
Foundations Of Algebraic Specification And Formal Software Development
Editor:
SPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG, dezembro de 2011 ‧
ver detalhes do produto
SINOPSE
This book provides foundations for software specification and formal software development from the perspective of work on algebraic specification, concentrating on developing basic concepts and studying their fundamental properties.
DETALHES
| Propriedade | Descrição |
|---|---|
| ISBN: | 9783642173356 |
| Editor: | SPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG |
| Data de Lançamento: | dezembro de 2011 |
| Encadernação: | Capa dura |
| Páginas: | 584 |
| Tipo de produto: | Livro |
| Coleção: | Monographs In Theoretical Computer Science. An Eatcs Series |
| Classificação Temática: |
Livros em Inglês
>
Ciências Exatas e Naturais
>
Matemática
|
| EAN: | 9783642173356 |
LIVROS DA MESMA COLEÇÃO
-
Foundations Of Algebraic Specification And Formal Software DevelopmenteBook10%Springer Berlin Heidelberg139,79€ 10% CARTÃO
-
Words And GraphsSpringer International Publishing AG121,66€portes grátis
-
Introduction To ComputationSpringer Nature Switzerland AG44,60€portes grátis