Buth K H (5 results)
Data Refinement : Model-Oriented Proof Methods and Their Comparison
Roever, W. P. De; Engelhardt, Kai; Buth, K. H.; De Roever, Willem-Paul
Language: English
Published by Cambridge University Press 1999
Series: Cambridge Tracts in Theoretical Computer Science, Book 29 of 40. Book 29 of 40 - Cambridge Tracts in Theoretical Computer Science
- Hardcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
£ 142.20
£ 1.97 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
Data Refinement : Model-Oriented Proof Methods and Their Comparison
Roever, W. P. De; Engelhardt, Kai; Buth, K. H.; De Roever, Willem-Paul
Language: English
Published by Cambridge University Press 1999
Series: Cambridge Tracts in Theoretical Computer Science, Book 29 of 40. Book 29 of 40 - Cambridge Tracts in Theoretical Computer Science
- Hardcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
£ 143.30
£ 1.97 shippingShips within U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
Data Refinement : Model-Oriented Proof Methods and Their Comparison
Roever, W. P. De; Engelhardt, Kai; Buth, K. H.; De Roever, Willem-Paul
Language: English
Published by Cambridge University Press 1999
Series: Cambridge Tracts in Theoretical Computer Science, Book 29 of 40. Book 29 of 40 - Cambridge Tracts in Theoretical Computer Science
- Hardcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: New
£ 132.72
£ 15.00 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New.
Data Refinement : Model-Oriented Proof Methods and Their Comparison
Roever, W. P. De; Engelhardt, Kai; Buth, K. H.; De Roever, Willem-Paul
Language: English
Published by Cambridge University Press 1999
Series: Cambridge Tracts in Theoretical Computer Science, Book 29 of 40. Book 29 of 40 - Cambridge Tracts in Theoretical Computer Science
- Hardcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: Used - As new
£ 145.25
£ 15.00 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
Data Refinement: Model-Oriented Proof Methods and Their Comparison
Roever, W. P. De/ Engelhardt, Kai/ Buth, K. H./ De Roever, Willem-Paul
Language: English
Published by Cambridge Univ Pr 1998
Series: Cambridge Tracts in Theoretical Computer Science, Book 29 of 40. Book 29 of 40 - Cambridge Tracts in Theoretical Computer Science
- Hardcover
- Print on Demand
Seller: Revaluation Books, Exeter, , United KingdomRevaluation Books
Contact seller5-star sellerCondition: New
£ 145.19
£ 12.50 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Hardcover. Condition: Brand New. 423 pages. 9.50x6.50x1.25 inches. In Stock. This item is printed on demand.
