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 - 9780521806084 - November 26, 2001
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
$ 286.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, 5 tables 156 exercises

Media Books     Hardcover Book   (Book with hard spine and cover)
Released November 26, 2001
ISBN13 9780521806084
Publishers Cambridge University Press
Pages 800
Dimensions 160 × 235 × 43 mm   ·   1.18 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 )