Data Refinement: Model-Oriented Proof Methods and their Comparison - Cambridge Tracts in Theoretical Computer Science - De Roever, Willem-paul (Christian-albrechts Universitat Zu Kiel, Germany) - Books - Cambridge University Press - 9780521103503 - December 18, 2008
In case cover and title do not match, the title is correct

De Roever, Willem-paul (Christian-albrechts Universitat Zu Kiel, Germany)
Data Refinement: Model-Oriented Proof Methods and their Comparison - Cambridge Tracts in Theoretical Computer Science

Price
$ 82.49
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping May 29 - Jun 10

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:

Graduate text in formal methods in computer science.

436 pages, 18 b/w illus. 93 exercises

Media Books     Paperback Book   (Book with soft cover and glued back)
Released December 18, 2008
ISBN13 9780521103503
Publishers Cambridge University Press
Pages 436
Dimensions 229 × 151 × 27 mm   ·   660 g
Language English  

Mere med samme udgiver

See all of De Roever, Willem-paul (Christian-albrechts Universitat Zu Kiel, Germany) ( e.g. Paperback Book and Hardcover Book )