10% de desconto
idioma: inglês
Editor: CAMBRIDGE UNIVERSITY PRESS, dezembro de 2008 ‧
77,06€
10% DESCONTO CARTÃO
portes grátis
Venda o seu livro
Graduate text in formal methods in computer science.

Data Refinement

Model-Oriented Proof Methods And Their Comparison

de Kai (University Of Technology, Sydney) Engelhardt e Willem-Paul (Christian-Albrechts Universitat Zu Kiel, Germany) De Roever

Propriedade Descrição
ISBN: 9780521103503
Editor: CAMBRIDGE UNIVERSITY PRESS
Data de Lançamento: dezembro de 2008
Idioma: Inglês
Encadernação: Capa mole
Páginas: 436
Tipo de produto: Livro
Coleção: Cambridge Tracts In Theoretical Computer Science
Classificação Temática: Livros em Inglês > Informática > Outras Aplicações
Livros em Inglês > Informática > Iniciação à Informática
Livros em Inglês > Outros
EAN: 9780521103503