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) - Books - Cambridge University Press - 9780521169325 - January 26, 2012
In case cover and title do not match, the title is correct

Roever, Willem-Paul de (Christian-Albrechts Universitat zu Kiel, Germany)
Concurrency Verification: Introduction to Compositional and Non-compositional Methods - Cambridge Tracts in Theoretical Computer Science

Price
$ 110.49
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jun 2 - 12

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Also available as:

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  

Mere med samme udgiver

See all of Roever, Willem-Paul de (Christian-Albrechts Universitat zu Kiel, Germany) ( e.g. Paperback Book and Hardcover Book )