Data Refinement
Model-Oriented Proof Methods And Their Comparison
idioma: inglês
Editor:
CAMBRIDGE UNIVERSITY PRESS, dezembro de 2008 ‧
ver detalhes do produto
77,06€
10% DESCONTO
CARTÃO
SzJkWlozSnVWMnB6YlcxbFdHbEhZMlJuTTNKYU5XUnphRnB2VFZSNFIweENUVVJMWVhNNWNFSTBRM3B4V1RKREx6TXhSMWhsUW5OM1lWZExSbUZtVW1rMlQwa3ZNbk5LZG1WdWNXNURPVkJqVEV0dlVWVnVaMGhqTjNaWGRTdFpSSG8wTlZOblZFMU5aR0p4VFdOVWVWRkZlSEptTjNSSWIzSlNjSHA0ZUhOSE0wSkJVV2xVVWpaUGRVaGphR1J5VVVWS1kwZG1XVGtyZDNZeWIyOVJZazFZWmtZeWQzcHBOMk5EUkVwTmNXazRNa05qYWpoNldrbHlSa3ROTVRkaFExZDBNVmwzUmxRd2NUVXJiRlJCZW1kWE9FWXZNRmw0V1hOVU1HRjRlazUyT0hFeFdXWmpWbk55UW1ZeWNIZFVTVTlpY3poc2VGUnhSREpPSzNwSVMxQnNaWEJQUzJwaFIxTklPVGR6U2twcFUwZFVZMUF2Tm5ObFZrWkhLMWh2WWxkTFdGSmxNR1o0UjNKU1dHeHRaVGxZYTJscGJYcHRaeXQyU0hSc1MzUkdXbFpUTWtOdlFreGFSa0Z0V2pGYWFqUjRPRzB6WlhobFUwSlhUR1F6U0ZFeWNVbGpWM0l4UlVKVE5rMVhOM3A0UmpZeVUwdFBkWFprVERaT1VtY3pXVkZxTkhKM1dqRXdaekIyV2tFd1RYZHlhRWhhWWxKYVUwcHFZMVpwWkVsamMzbFhWMjFQVFRob2VUTkVWR1k1Y0doaEwycGhRMDVtY2pWS01rNTFSamRUU0VoSlowMHpSWEVyYkZSemFFbEpZVVZQTVRCQ2NHZzVaSE5tU0VWWGFTdFVTMDVtTWpJd2JtbE5OV2d3ZUhoS1ZDdFFLekYzTjFGRldrcFFhV1JGZHpaT09EYzFaamxNTTBWbWIwbDBaR2x2UzJZck9IVTRUbE41VVdsTWFGQXpTMFpKTVZWUFlYY3ZlVlpEY25oQ2RqRlZRa1F3WTAxR01HOTZNR1ZDZVV3eFdrbFdiVk1yY2pGTlNYaGhZbXBETlVWUFJHZE5lRzh5T0VaRWFsWkdWMlJJZVhZNVJDdGlPV1pMVUN0QlpsZHZXRXQyUmxKTWRrOXdUVU5hVVU5YU0zVkZRVlk0THlzcmNqRkVjM0ZEWTBKemREVlJRbGcwTUZNcmVtTnFOM0pWV0ZOSlIzQnVkRTEyTVdGUE9DczVPVkJSYlVObU1sZFRUWHA2ZUVONmIyRlBPV0p6WVdNMFIzVlFlVkZZUVhOb2FVUXpiVmxvYWxBNFUyc3ZhbkZRWTFCd1RYRldabU14Ykc5SEwycFBiRlpYWlRoMUsycGxaazlIVlROVVlWTTRWREp6UlZOVWExQXlSMkp2YkRKblIxTmtURmRtTkRGUVRrZzRabTVLZEM5MVJGQTVUMWxpVjNCNk1qTlpWRzVOV2pOd1ZHaDZkVmRCYkd3ck9RPT06OGJ3WldkRVVtWUVyWU5uRlJOMG5sZz09
portes grátis
Venda o seu livro
SINOPSE
Graduate text in formal methods in computer science.
DETALHES
| 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 |
LIVROS DA MESMA COLEÇÃO
-
Initial Algebras And Terminal Coalgebras10%CAMBRIDGE UNIVERSITY PRESS188,59€
209,54€portes grátis -
Topological Duality For Distributive Lattices10%CAMBRIDGE UNIVERSITY PRESS82,74€
91,93€portes grátis