Matemática

Foundations Of Algebraic Specification And Formal Software Development

de Andrzej Tarlecki e Donald Sannella 

Bertrand.pt - Foundations Of Algebraic Specification And Formal Software Development
idioma: Inglês
Editor: SPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG
Edição: dezembro de 2011
142,63€
Notifiquem-me quando disponível
RESERVAR NA LIVRARIA Livrarias

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.

Da mesma coleção

Foundations Of Algebraic Specification And Formal Software Development
10%
10% Cartão Leitor Bertrand
139,79€
Poupe 13,98€
Springer Berlin Heidelberg
eBook
Words And Graphs
121,66€
Springer International Publishing AG
Foundations Of Algebraic Specification And Formal Software Development
de Andrzej Tarlecki e Donald Sannella 
ISBN:
9783642173356
Ano de edição:
12-2011
Editor:
SPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG
Idioma:
Inglês
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  >  Livros em Inglês  >  Ciências Exatas e Naturais  >  Matemática

EAN:
9783642173356

Dos mesmos autores

Introduction To Computation
44,60€
Springer Nature Switzerland AG
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.