Concurrency Verification
Introduction To Compositional And Non-Compositional Methods
language: english
Publisher:
CAMBRIDGE UNIVERSITY PRESS, November of 2001 ‧
see product details
304,17€
10% OFF
CARD
VjNoTFltNUhSazkzY25CM1kyeEVLMGhhU2taa1p5ODFWWFZRUm5sR1pISklTM2hIVmpWTGNDczRXRFoyTkZkdmNDOUdlVGwwWkRoWGVIbFBabGQyUVVSWVoxWkNNRGxSYkVnMFFqZGlUa1p4YjJOd1NXMDFZWGxrVGpGblVUSldWVVpUZUd4V2FWQktOWEJyZUhaWWNVc3pXSFpxVFdWWmRtaHdlR2haVHpKMlRYaDFXV2hJWWswMEt6UmlhazVqUW04eWNubHVUVEZFTjIxNFozVm1ZelpTWTBoaGFWUmxiMkp1VGtad1RuTTNNMEpzZW1aV1lpOUVaa3R5VGpoM2FFd3dPVEpKY1hJM1ZGbHRObmRpVTFScFdXTXpXa3BuYlVKSFVrUmFXR2xWUjBvMGIwSkdkM2xSY1RKUlNteDFSbEZJY25GTFlUUTFUWEZDTmk5d09IaGtUa3hVYVVKdU4xWklWa0l5TUROb1UxbG1XV2RuVFZsT2FHVktVMnhxVkZONFQxUkRZMnBNTnpGalMzbENkUzlyVFZSbGVFNTRWM0JFTjNwRmQwSlVTMGRZVXpsV05HRnZWVkZwY0VGWk5qQmpOMnBrY3pWTUt6VmhWM0JGYzNKSFJVOHpNVWxFVUZOMVVGUklPVXcxVlZGWllsVjZhMmxaTlhsclJIUkhkSFJRV1d4cFNrMUxiMFZXWTJwVWRGSjBVVE5GU3pkTVZVWlJaRVkyU0ZoNVlWWjNWek5xZW1sTlRFbGxkMVJuWkROMloyOU5VV2szY2pKUGIwMHJkV0pOTVVSaGJEbENjV2hKY25wUGNUaHlUMUp1YjJ4b1JrdG9aRUp1YzBWYVREaDFXWE5UZG1oTGFGVm1ZakZ3ZEVVemIwc3dVRFJYTURCVlJWVlFUMVk1TTBZdlRrVmxMMng2TUc5bVZuQmtjblI0V1ZBNU5HdGFMM1UzY1VJemRWUkRTamhzYlM5RWFWRkllSE12WkRsTmRYaE9MM056VmtsdmRXWXhkRll3UWxWM1lrTnBOa3hQZDBoWlRtSlRNVFpSTkVVd1VtcGxRMWxXVkhkaWJtOXZNRkJ2YmpCNFVtVlJZakZITkUxT1ZGTkpXR0ZLYVhReVZsWktlRll6V1ZOeU9GTkVURXBWVDFkMFJrOXNOMk40YkZCbWFUaDNiblJoS3l0TmR6UktSbFZKWlhOYWMybHRhRFp4WkVSWVNIVkpWV3hvTXpNMmVWZHpiVXB5YjFsVFYyNDJNWFEzUVRWMGJtOXRWRFZ3Um5CamNYSldjbkUyZUVSNWNGZEJVMkZ4ZVZKRVJXbFRVMGR6VXl0RVZsRTVSSFV5ZHpoVE5tdzVVR1pHVERKQmMwa3pkbnBKTjFabGRIRjZNMUpIYkdONmNDOXpVVDA5OmcvZEc1Yi8vUTVjNDc4Q2hqYndOZHc9PQ==
free shipping
Sell your book
SYNOPSIS
This 2001 book is an introduction to verifying concurrent programs scaling up to a realistic size. It is self-contained and comprehensive, guiding the reader from advanced undergraduate level. Every method is illustrated by examples, and a picture gallery of some of the subject's key figures complements the text.
DETAILS
| Property | Description |
|---|---|
| ISBN: | 9780521806084 |
| Publisher: | CAMBRIDGE UNIVERSITY PRESS |
| Release Date: | November of 2001 |
| Language: | English |
| Cover: | Hardcover |
| Pages: | 800 |
| Format: | Book |
| Collection: | Cambridge Tracts In Theoretical Computer Science |
| Categories: |
Books in English
>
Computing
>
Schedule
Books in English > Computing > Introduction to Computing |
| EAN: | 9780521806084 |
BOOKS FROM THE SAME COLLECTION
-
10%Initial Algebras And Terminal CoalgebrasCAMBRIDGE UNIVERSITY PRESS188,59€
209,54€free shipping -
10%Topological Duality For Distributive LatticesCAMBRIDGE UNIVERSITY PRESS82,74€
91,93€free shipping