Data Refinement
Model-Oriented Proof Methods And Their Comparison
idioma: inglês
Editor:
CAMBRIDGE UNIVERSITY PRESS, dezembro de 1998 ‧
ver detalhes do produto
177,10€
10% DESCONTO
CARTÃO
ZVVzMGFWY3JVVlpxYjJoQlF5dGlRVXQ0WlZwYWJWQTFaRUV2UjFsM1dYRTRiRWxEWjBGWFoxWXZPVWhOY2pCa05sb3lkelZRVTNseFNVSmxVa3RXTVdsRVYyRTFXbW81U2k5MVdYRlBjalo2SzI1bVRURkZVekZQVkcxRVdUSnZLeXRVSzJkdmFIazVjMmxPZURscWRtbG9SbGhTZUVrMUszUTRlWHBtV1VVNGVpdHZNakpuWjJOV2MxZFVLeTlNYnpNelpVNXhOSGRzWTI0NFlYbFlNa2cxY0Vkb1oyTkRRemhvY1RjMlltTjFZVU51WTFOeWJDOWtXVVYzYVVJMFZWZHdRbkp0ZDAxV2JFNUxaWHBWYzJKUVltNW1jazR6UkVvd2JrRnBWblI1SzFWUU5scDBiMDlQUW1KdlZESlFkWGR4YzBKdmNFTTVWRFZLV2taU1pEUm1SRzhyVVhSQldrOXplbkZCUmpsTWFtcFlhRmhoVkUxS1FpdE5VRzB4UlZOM2VHWkRLMGsyTDAxWVRURjFaM2x1V0ZSbU0yRk1NelozZDFsUGJsWjVibFJHUm5aSVpVVk5OWGxNTkdNd2R6VmpTR2xuTWs0MVJrMXFkbmhIV2xoRVdtdHJSR3QwVTFjNGRHZHliVXBJZGtFMWFVSXhWRTFXU2pJNFkxYzRjMDlhUzB4Q1RXNTZaMDV4Vms1alpuWTJVa3RXTjA5QlNWQldRa2RITHpSTlUxaE5VVGRuTTJoeWJGaEhkWEZHTVdjM05uWkNjbGxFTWtOdllqbEVMMWMyYVc4clJFZ3hSRGRHVVZwNUt6QXhObmx1VUdGaGFtODBhMGhCZVUxc1dFNXljVFpuUkZaS2NrMHpkbXN4TVhGb1F6aFdWeTl6WlRGMVpHb3djMlp1UjJSck4yZFNiMUZuUkZjellsQjFNMHhGUnpkV1JrNW9lRE5yUVd0alIzRkxWRTl4WWpORFpXWXZjVVZTY2pWd2NtMXlkMlYyU2s5V1prVXlUM0pTU25Zd1NtYzVNRlYwUmxkVVVTODJhVFFyUW5rMWJEUjVPRzF2Ym5JcmREUTFTR2QzTVVNelFtRjFiV1Z3UnpWUGRVdDFXVzlXUzJaNlZUZ3dNblo1YWxCaFpsWlRRMlJaYWxOc2RHNHdhV1pqV2xoRE1teGFabmcwTHk5ek5tUmhVVzlQYmxFdk0xVjBOek5xTTI1emVYUndNemxUY1ZoR2RUVmFhRk5ZVGtabE5HOVROVTlqVldWa2JXWkRVMkZNVUROWU56Unhkak16VldOMU9HUTFNV0ZCUTFKMVowaHFNMWg1ZWxabE9FSkdPVGh2VFdWS2VuaENlamN5T1hjMmFtdzJOMnhLUmsxT1JFWXpZV1l3T1VwcVZYVm1WVTlTWnpSUlkyNTVhVUo2WVdGWldraFZaVEl2VFRWU1VVOW9TWEJsV1ZndldrVk1jSGswWjFaR2JBPT06VnpWQldJRk5PaURvYitobnI0eFpBZz09
portes grátis
Venda o seu livro
SINOPSE
Graduate text in formal methods in computer science.
DETALHES
| 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 |
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