Concurrency Verification
Introduction To Compositional And Non-Compositional Methods
language: english
Publisher:
CAMBRIDGE UNIVERSITY PRESS, January of 2012 ‧
see product details
106,80€
10% OFF
CARD
TWtsNUsyaHZPR1ZKVkc1UGF6UnRTbmxwUmxrMVNrRXhMMDkyYzNOa2F6bExVMHBPVTBwb1ZHOTNNbEZUY1hscE5XOUlRVTgyY3pKd00zTnFWM0pyU0c0emJtZG9jelJxUVhSMU9GSkRPRVp4V25wM2QwNHlhM1pRYmxsTk5teHVTM2RPTW5JMlZYUkliM1ZhT1UxVldWRnlWQ3RXUkhobk4wazFkbVIxWlUxVGVrdHlUalYzV2pnclJEQmxaMnBpZWxCNlJtczBaU3N6UjFoM1NtTTBhMWRsU1hoeVlqbG1VSGQyYUhoT1pXWjRWalJYZW1wTVFtSXpWRmg0VEhkWVYzQmFXRVUwY2pndmRVTlZja2h6V0doRFpreE9OakJHUjFOUVVsazROaTl0Y3pJdk0zbEVZVmxwZERCTWRYTnJNRlZGYkV4eGJXeHBSbGxvU1dwcVpHWlFhelJFWTNSQlVHaGxkRlZ2TWtaSWRGcEdSM05XYmtwMWJIQlRhSE5LUVRkM1YxSTJNMGczVkRjNE1WUkxjelF6VlVKTFVVdEtSRTFDYlc0eU5HczVSMGRMWjFSR05tRlFUWGxpY3pBMVpqQmhOQ3RaZVZvemVFTnVlbkpQSzA5TlRXTXhaSE5IVW1SNldUVXJURUpaY1RKcVdYZ3ZPRFU0Y2taV1RIVnBVRFJGZFhGNVZHUklXbFozZHpsM2Ntd3ZVbTlSUzI1NVMzRXJZM0puTlZscVdYVjBZbWRLVjJwbVdHMDJWVkV5ZGpOV1UyTnRiVEpsWTNoeWEwOWpSVEZSYVZGdU5UaEZhRTlWY3psemQyMHdVRVpqUlZSWVVYcFpkMVo0Tm1sVlVuQlNZMUUwU1dVd1ZVRmhaVVUzY2xVeVNHb3ZXSEJaU2pOd1VHaHRWRzlNWjBvM01rNUNTa012Ym5acE1FcElWRlJ1UzFScU1GcEJaRFJNUnl0cVpGTlNjSEpNV1ZSRWNYUklXbTR5VGk5TldESTFjVVZYWVRKVU5qSnhOMUp2VUVONGNtRjBTRTUzUmpBM2JFY3pMMjF5YlVoQk0zVkpSbFZJTDJoU09VeHBhRzFtZDJWd1NsTlpiRlpSUldGbGREQkthM1Y1U25WclJXMTFPVVpLTVRkTlprdG1WbGRSUmpKS1IyZGlOVkk0Um5BMWMwSlZWbWRNTldGeVQxRm1ZUzlOUVRsbWVTdFVNMkp2U1VsV1oyY3ZhR0V5VkZkS2NHVmliMlJvYmt4dVJtVlZUVTU2T1dadVpIVkpTV3hSY21OMVNrbDJSM2RTVTBkVVF6Uk5SRVZ2WjBGVVoxUmhVemhqVkNzME9XZG9kbUZZTm01d0szWnhWR1JaTm1GWWR6ZGplU3N6TjNGQ1kyVmxNRGwzWm5SNU9FWnFkejA5OkJ1ZmZ5TmdFU05CTkkrV014MVVJTWc9PQ==
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: | 9780521169325 |
| Publisher: | CAMBRIDGE UNIVERSITY PRESS |
| Release Date: | January of 2012 |
| Language: | English |
| Cover: | Softcover |
| Pages: | 800 |
| Format: | Book |
| Collection: | Cambridge Tracts In Theoretical Computer Science |
| Categories: |
Books in English
>
Computing
>
Other Applications
Books in English > Others |
| EAN: | 9780521169325 |
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