Data Refinement, Cambridge Tracts In Theoretical Computer Science
K.-H Buth, Kai Engelhardt, W.-P. De Roever, Willem-Paul De Roever
Resumo
Model-Oriented Proof Methods And Their Comparison
Data Refinement, Cambridge Tracts In Theoretical Computer...
Resumo
Model-Oriented Proof Methods And Their Comparison
Publicidade
Avaliações dos nossos clientes
Data Refinement, Cambridge Tracts In Theoretical Computer Science
Sê o primeiro a dar
a tua opinião sobre este produto
Características
- Editora
-
Cambridge Univ Pr
- Idiomas
-
Inglês
- Encadernação
-
Capa Dura / Hardback
- Dimensão
-
247 x 174 x 29
- Comprimento
-
1,6510000000000002 cm
- Largura
-
0,318 cm
- Altura
-
2,413 cm
- Peso
-
845
- Data de lançamento
-
01/01/1999
- Tema
-
Databases|Mathematical theory of computation
- Origem
-
United Kingdom
- EAN
-
9780521641708
Publicidade
Publicidade