Tell your friends about this item:
Concurrency Verification: Introduction to Compositional and Non-compositional Methods - Cambridge Tracts in Theoretical Computer Science Roever, Willem-Paul de (Christian-Albrechts Universitat zu Kiel, Germany)
Price
CA$ 156.49
excl. VAT
Ordered from remote warehouse
Expected delivery Nov 3 - 19
Christmas presents can be returned until 31 January
Get notified about new Roever, Willem-Paul de (Christian-Albrechts Universitat zu Kiel, Germany) releases
Our customers say:
Add to your iMusic wish list
Also available as:
Concurrency Verification: Introduction to Compositional and Non-compositional Methods - Cambridge Tracts in Theoretical Computer Science
Roever, Willem-Paul de (Christian-Albrechts Universitat zu Kiel, Germany)
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.
800 pages, black & white illustrations
| Media | Books Paperback Book (Book with soft cover and glued back) |
| Released | January 26, 2012 |
| ISBN13 | 9780521169325 |
| Publishers | Cambridge University Press |
| Pages | 800 |
| Dimensions | 154 × 228 × 42 mm · 1.14 kg |
| Language | English |
