Order Total (1 Item Items):
Shipping Destination:
Data Refinement Model Oriented Proof by Roever Willem Paul (18 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (18)
- Magazines & Periodicals (No further results match this refinement)
- Comics (No further results match this refinement)
- Sheet Music (No further results match this refinement)
- Art, Prints & Posters (No further results match this refinement)
- Photographs (No further results match this refinement)
- Maps (No further results match this refinement)
- Manuscripts & Paper Collectibles (No further results match this refinement)
Condition Learn more
- New (16)
- As New, Fine or Near Fine (2)
- Very Good or Good (No further results match this refinement)
- Fair or Poor (No further results match this refinement)
- As Described (No further results match this refinement)
Binding
Collectible Attributes
- First Edition (1)
- Signed (No further results match this refinement)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (2)
- Not Print on Demand (14)
Language (1)
Price
- Any Price
- Under US$ 25 (No further results match this refinement)
- US$ 25 to US$ 50 (No further results match this refinement)
- Over US$ 50
Free Shipping
Seller Location
Seller Rating
-
Data Refinement: Model-Oriented Proof Methods and their Comparison (Cambridge Tracts in Theoretical Computer Science, Series Number 47) (Volume 0)
Book 29 of 40: Cambridge Tracts in Theoretical Computer ScienceLanguage: English
Published by Cambridge University Press, 2008
ISBN 10: 0521103509 ISBN 13: 9780521103503
Condition: New.
-
Data Refinement: Model-Oriented Proof Methods and their Comparison (Cambridge Tracts in Theoretical Computer Science, Series Number 47) (Volume 0)
Book 29 of 40: Cambridge Tracts in Theoretical Computer ScienceLanguage: English
Published by Cambridge University Press, 2008
ISBN 10: 0521103509 ISBN 13: 9780521103503
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 82.45
US$ 15.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Data Refinement: Model-Oriented Proof Methods and their Comparison: 47 (Cambridge Tracts in Theoretical Computer Science, Series Number 47)
Book 29 of 40: Cambridge Tracts in Theoretical Computer ScienceLanguage: English
Published by Cambridge University Press 2009-03-09, 2009
ISBN 10: 0521103509 ISBN 13: 9780521103503
US$ 83.10
US$ 20.66 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketPaperback. Condition: New.
-
Data Refinement: Model-Oriented Proof Methods and their Comparison: 47 (Cambridge Tracts in Theoretical Computer Science, Series Number 47)
Book 29 of 40: Cambridge Tracts in Theoretical Computer ScienceLanguage: English
Published by Cambridge University Press, 2009
ISBN 10: 0521103509 ISBN 13: 9780521103503
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland
Seller rating 5 out of 5 stars
First Edition
Condition: New. Graduate text in formal methods in computer science. Series: Cambridge Tracts in Theoretical Computer Science. Num Pages: 436 pages, 18 b/w illus. 93 exercises. BIC Classification: UYA. Category: (P) Professional & Vocational. Dimension: 151 x 229 x 27. Weight in Grams: 660. . 2009. 1st Edition. paperback. . . . .
-
Data Refinement: Model-Oriented Proof Methods and their Comparison: 47 (Cambridge Tracts in Theoretical Computer Science, Series Number 47)
Book 29 of 40: Cambridge Tracts in Theoretical Computer ScienceLanguage: English
Published by Cambridge University Press, 2008
ISBN 10: 0521103509 ISBN 13: 9780521103503
Condition: New. Graduate text in formal methods in computer science. Series: Cambridge Tracts in Theoretical Computer Science. Num Pages: 436 pages, 18 b/w illus. 93 exercises. BIC Classification: UYA. Category: (P) Professional & Vocational. Dimension: 151 x 229 x 27. Weight in Grams: 660. . 2009. 1st Edition. paperback. . . . . Books ship from the US and Ireland.
-
Data Refinement: Model-Oriented Proof Methods and their Comparison (Cambridge Tracts in Theoretical Computer Science, Series Number 47)
Book 29 of 40: Cambridge Tracts in Theoretical Computer ScienceLanguage: English
Published by Cambridge University Press, 1999
ISBN 10: 0521641705 ISBN 13: 9780521641708
hardcover. Condition: New. In shrink wrap. Looks like an interesting title!
-
Data Refinement : Model-Oriented Proof Methods and Their Comparison
Book 29 of 40: Cambridge Tracts in Theoretical Computer ScienceLanguage: English
Published by Cambridge University Press, 1999
ISBN 10: 0521641705 ISBN 13: 9780521641708
Condition: New.
-
Data Refinement: Model-Oriented Proof Methods and their Comparison (Cambridge Tracts in Theoretical Computer Science, Series Number 47)
Book 29 of 40: Cambridge Tracts in Theoretical Computer ScienceLanguage: English
Published by Cambridge University Press, 1999
ISBN 10: 0521641705 ISBN 13: 9780521641708
Condition: New.
-
Data Refinement : Model-Oriented Proof Methods and Their Comparison
Book 29 of 40: Cambridge Tracts in Theoretical Computer ScienceLanguage: English
Published by Cambridge University Press, 1999
ISBN 10: 0521641705 ISBN 13: 9780521641708
Condition: As New. Unread book in perfect condition.
-
Data Refinement: Model-Oriented Proof Methods and their Comparison (Cambridge Tracts in Theoretical Computer Science, Series Number 47)
Book 29 of 40: Cambridge Tracts in Theoretical Computer ScienceLanguage: English
Published by Cambridge University Press, 1999
ISBN 10: 0521641705 ISBN 13: 9780521641708
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 182.30
US$ 15.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Data Refinement : Model-Oriented Proof Methods and Their Comparison
Book 29 of 40: Cambridge Tracts in Theoretical Computer ScienceLanguage: English
Published by Cambridge University Press, 1999
ISBN 10: 0521641705 ISBN 13: 9780521641708
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
US$ 182.29
US$ 20.00 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
Data Refinement : Model-Oriented Proof Methods and Their Comparison
Book 29 of 40: Cambridge Tracts in Theoretical Computer ScienceLanguage: English
Published by Cambridge University Press, 1999
ISBN 10: 0521641705 ISBN 13: 9780521641708
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
US$ 200.73
US$ 20.00 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
-
Data Refinement: Model-Oriented Proof Methods and their Comparison: 47 (Cambridge Tracts in Theoretical Computer Science, Series Number 47)
Book 29 of 40: Cambridge Tracts in Theoretical Computer ScienceLanguage: English
Published by Cambridge University Press, 1998
ISBN 10: 0521641705 ISBN 13: 9780521641708
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland
Seller rating 5 out of 5 stars
US$ 214.88
US$ 12.10 shipping
Ships from Ireland to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. Graduate text in formal methods in computer science. Series: Cambridge Tracts in Theoretical Computer Science. Num Pages: 436 pages, 18 b/w illus. 93 exercises. BIC Classification: UN; UYA. Category: (P) Professional & Vocational. Dimension: 247 x 174 x 29. Weight in Grams: 845. . 1998. hardcover. . . . .
-
Data Refinement: Model-Oriented Proof Methods and their Comparison: 47 (Cambridge Tracts in Theoretical Computer Science, Series Number 47)
Book 29 of 40: Cambridge Tracts in Theoretical Computer ScienceLanguage: English
Published by Cambridge University Press, 1999
ISBN 10: 0521641705 ISBN 13: 9780521641708
Condition: New. Graduate text in formal methods in computer science. Series: Cambridge Tracts in Theoretical Computer Science. Num Pages: 436 pages, 18 b/w illus. 93 exercises. BIC Classification: UN; UYA. Category: (P) Professional & Vocational. Dimension: 247 x 174 x 29. Weight in Grams: 845. . 1998. hardcover. . . . . Books ship from the US and Ireland.
-
Data Refinement: Model-Oriented Proof Methods and their Comparison
Book 29 of 40: Cambridge Tracts in Theoretical Computer ScienceLanguage: English
Published by Cambridge University Press, 2008
ISBN 10: 0521103509 ISBN 13: 9780521103503
US$ 86.49
US$ 16.67 shipping
Ships from United Kingdom to U.S.A.Quantity: 1 available
Add to basketPaperback. Condition: Brand New. 1st edition. 435 pages. 8.90x5.98x1.18 inches. In Stock. This item is printed on demand.
-
Data Refinement: Model-Oriented Proof Methods and their Comparison
Book 29 of 40: Cambridge Tracts in Theoretical Computer ScienceLanguage: English
Published by Cambridge University Press, 2008
ISBN 10: 0521103509 ISBN 13: 9780521103503
Seller: THE SAINT BOOKSTORE, Southport, United Kingdom
Seller rating 5 out of 5 stars
US$ 91.44
US$ 23.27 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketPaperback / softback. Condition: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days.
-
Data Refinement: Model-Oriented Proof Methods and Their Comparison
Book 29 of 40: Cambridge Tracts in Theoretical Computer ScienceUS$ 199.43
US$ 16.67 shipping
Ships from United Kingdom to U.S.A.Quantity: 1 available
Add to basketHardcover. Condition: Brand New. 423 pages. 9.50x6.50x1.25 inches. In Stock. This item is printed on demand.
-
Data Refinement: Model-Oriented Proof Methods and their Comparison
Book 29 of 40: Cambridge Tracts in Theoretical Computer ScienceLanguage: English
Published by Cambridge University Press, 1999
ISBN 10: 0521641705 ISBN 13: 9780521641708
Seller: THE SAINT BOOKSTORE, Southport, United Kingdom
Seller rating 5 out of 5 stars
US$ 242.33
US$ 25.54 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketHardback. Condition: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days.
