10% de desconto
idioma: inglês
Editor: CAMBRIDGE UNIVERSITY PRESS, dezembro de 1998 ‧
177,10€
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: 9780521641708
Editor: CAMBRIDGE UNIVERSITY PRESS
Data de Lançamento: dezembro de 1998
Idioma: Inglês
Encadernação: Capa dura
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 > Base de Dados
Livros em Inglês > Informática > Iniciação à Informática
EAN: 9780521641708