Data Refinement
Model-Oriented Proof Methods And Their Comparison
language: english
Publisher:
CAMBRIDGE UNIVERSITY PRESS, December of 1998 ‧
see product details
177,10€
10% OFF
CARD
WVcxbk1tdDNUbWxZV1RFd1JuWnFlbGxOTDI4MWRUZDBiemwzTTFwUmQySmthRE0yU1Zad1pUaG5Ua1U1ZDJaU1RHRnRkMUIyT1ZabVFXMWtSbVV2VUc5d1YxcHJOSFkwZDBNNGFWRlJaR0kwYVhJeVMwVmFNbkp0ZG1FcmJXTjFWM1ZoT1ZOSFNHcE5SVFJ6UTBvM04ySmhURTgwWkhCclN6RlZNMHgyVEhSclZURTVkbVkzV0dwS2JDOUxlR3R1VkZOUVFrbGhOaXQxWVhWNUx6aHRSbEJ5Y0VSNFVrZE5NRlpEVW5nNEswTTJRVWxRYW1SMWVXZE1lRFZ4Y3l0Mk5WaEdSU3RVUldoVE56SlpTbk5zUzNWV1IyczNPRzlIWm1kMWVGRk1hVmw1ZFU1QmVrc3hXSGMwY2xWQ1RsRlFLMEV4Yms5dk9UVnpTWFp5U21sS1RqZFlla3BtU0hkdVZtWXdVbWx3TlhwU1EyZHZXWEpFY2s5amQxWkRVbVZpUTNaaE5UQllaVzFHTkZSRVdtUlhTemRZT1VsT1EySktaM2Q0WjNGSk9GaHBWV0ZGUkVkSFVVNTVTQzk1WWpkTlQxa3lha0Z4WjFoWFkyMHJaM0ZaUzJ0elFYUldWemR3VkRndmRsSnNSMGs1YkhsYU5EQlNTR2hoY1hGRVlYVktjVVJXVkd0MFNWZFRRV1JpYVdVM2VIZFVVbkp6VDNadmVrMTZhM1F3VlhWWGR6SnNSWFZUTlU5dFFqbE1OSHBFY1UxeVJFeDZUVE5GTmxsclVrMXpaVEYxU1djMFZ6bFRNVkJqTUVKR1VFWnJiMmcyUkdkc1prd3dURFUxWjBVMmF6UnZXRWRUVTFONlRtaFVlV2hvV0dGSU0wY3JTMHBGYWxaSWJXRXdVSFpxZFdjMFRuQTFZbWhDYjBwb2JIUTNkbWRRV2pWRVJrRkpPVTA0VFc1R1lqUlJiakowWW5CSFFYY3JRa281V0RaVWVsTmxXR0oxT1ZOd2FqSldkMDF0ZFVsSlltUlBhM1kxUzJkSE5UbHdlREJUTUdRelZXTkxUelJtVlcxbVRVSnFla0V5YTNNNFpGaFZiRTgzVEROeE5FaHJhSEo0YmtGS1NXOHlaazV6WlRWSVV6aHhaa2RLVVZSUVprZE9VekZuVlNzclJHZE1PVVY0TDJaelNHcEdiMDFxZUd0cE9XOTBSRU5ZUmxWblJrRmpNVVEzZWtSTWFXaHlORFpFT0hwcVRHTXdaVmhWYUZsaVRESjFlSGsyV0ZGNFMydzVTSGxKZERReFZFWmhjbWxUWnl0U05rcFNNSEpUUjNkNGJsZG5NSGx6TXl0eFJXY3ljRmt4UkhadlRsSXpRMVp0WjBsWU9URlpUVlJGYUdSTk5FZERkejA5OjViakdxYnNyTytoaExqTDdvSDNrQWc9PQ==
free shipping
Sell your book
SYNOPSIS
Graduate text in formal methods in computer science.
DETAILS
| Property | Description |
|---|---|
| ISBN: | 9780521641708 |
| Publisher: | CAMBRIDGE UNIVERSITY PRESS |
| Release Date: | December of 1998 |
| Language: | English |
| Cover: | Hardcover |
| Pages: | 436 |
| Format: | Book |
| Collection: | Cambridge Tracts In Theoretical Computer Science |
| Categories: |
Books in English
>
Computing
>
Database
Books in English > Computing > Introduction to Computing |
| EAN: | 9780521641708 |
BOOKS FROM THE SAME COLLECTION
-
Initial Algebras And Terminal Coalgebras10%CAMBRIDGE UNIVERSITY PRESS188,59€
209,54€free shipping -
Topological Duality For Distributive Lattices10%CAMBRIDGE UNIVERSITY PRESS82,74€
91,93€free shipping