Tell your friends about this item:
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)
Price
HK$ 645
excl. VAT
Ordered from remote warehouse
Expected to be ready for shipping Oct 29 - Nov 10
Christmas presents can be returned until 31 January
Get notified about new De Roever, Willem-paul (Christian-albrechts Universitat Zu Kiel, Germany) releases
Our customers say:
Add to your iMusic wish list
Also available as:
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)
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 |
