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 - 9780521641708 - December 3, 1998
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
$ 172.99
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     Hardcover Book   (Book with hard spine and cover)
Released December 3, 1998
ISBN13 9780521641708
Publishers Cambridge University Press
Pages 436
Dimensions 159 × 236 × 32 mm   ·   845 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 )