Data Refinement Model Oriented Proof by Roever Willem Paul (19 results)
Language: English
Published by Cambridge University Press, 2008
Series: Cambridge Tracts in Theoretical Computer Science, Book 29 of 40. Book 29 of 40 - Cambridge Tracts in Theoretical Computer Science
- Softcover
Seller: California Books, Miami, FL, U.S.A.California Books
Contact seller4-star sellerCondition: New
£ 66.33
Free ShippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
Language: English
Published by Cambridge University Press, 2008
Series: Cambridge Tracts in Theoretical Computer Science, Book 29 of 40. Book 29 of 40 - Cambridge Tracts in Theoretical Computer Science
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
£ 63.10
£ 11.98 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
Language: English
Published by Cambridge University Press 2009-03-09, 2009
Series: Cambridge Tracts in Theoretical Computer Science, Book 29 of 40. Book 29 of 40 - Cambridge Tracts in Theoretical Computer Science
- Softcover
Seller: Chiron Media, Wallingford, United KingdomChiron Media
Contact seller5-star sellerCondition: New
£ 60.50
£ 15.49 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Paperback. Condition: New.
Language: English
Published by Cambridge University Press, 2009
Series: Cambridge Tracts in Theoretical Computer Science, Book 29 of 40. Book 29 of 40 - Cambridge Tracts in Theoretical Computer Science
- Softcover
- First Edition
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, IrelandKennys Bookshop and Art Galleries Ltd.
Contact seller5-star sellerCondition: New
£ 72.63
£ 8.99 shippingShips from Ireland to U.S.A.Quantity: Over 20 available
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. . . .….
Language: English
Published by Cambridge University Press, 2008
Series: Cambridge Tracts in Theoretical Computer Science, Book 29 of 40. Book 29 of 40 - Cambridge Tracts in Theoretical Computer Science
- Softcover
Seller: Kennys Bookstore, Olney, MD, U.S.A.Kennys Bookstore
Contact seller5-star sellerCondition: New
£ 88.06
£ 7.86 shippingShips within U.S.A.Quantity: Over 20 available
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.
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: BennettBooksLtd, Los Angeles, CA, U.S.A.BennettBooksLtd
Contact seller5-star sellerCondition: New
£ 113.98
£ 5.20 shippingShips within U.S.A.Quantity: 1 available
hardcover. Condition: New. In shrink wrap. Looks like an interesting title.
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.96
£ 1.98 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
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: California Books, Miami, FL, U.S.A.California Books
Contact seller4-star sellerCondition: New
£ 145.01
Free 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
£ 144.06
£ 1.98 shippingShips within U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
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: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
£ 132.73
£ 11.98 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
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
£ 147.19
£ 15.00 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
Language: English
Published by Cambridge University Press, 1998
Series: Cambridge Tracts in Theoretical Computer Science, Book 29 of 40. Book 29 of 40 - Cambridge Tracts in Theoretical Computer Science
- Hardcover
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, IrelandKennys Bookshop and Art Galleries Ltd.
Contact seller5-star sellerCondition: New
£ 159.75
£ 8.99 shippingShips from Ireland to U.S.A.Quantity: Over 20 available
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. . . . .
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: Kennys Bookstore, Olney, MD, U.S.A.Kennys Bookstore
Contact seller5-star sellerCondition: New
£ 196.20
£ 7.86 shippingShips within U.S.A.Quantity: Over 20 available
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 s…hip from the US and Ireland.
Language: English
Published by Cambridge University Press, 2008
Series: Cambridge Tracts in Theoretical Computer Science, Book 29 of 40. Book 29 of 40 - Cambridge Tracts in Theoretical Computer Science
- Softcover
- Print on Demand
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
Contact seller5-star sellerCondition: New
£ 62.97
£ 12.50 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Paperback. Condition: Brand New. 1st edition. 435 pages. 8.90x5.98x1.18 inches. In Stock. This item is printed on demand.
Language: English
Published by Cambridge University Press, 2008
Series: Cambridge Tracts in Theoretical Computer Science, Book 29 of 40. Book 29 of 40 - Cambridge Tracts in Theoretical Computer Science
- Softcover
- Print on Demand
Seller: THE SAINT BOOKSTORE, Southport, United KingdomTHE SAINT BOOKSTORE
Contact seller5-star sellerCondition: New
£ 66.57
£ 17.45 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Paperback / softback. Condition: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days.
More imagesLanguage: English
Published by Cambridge University Press, 2008
Series: Cambridge Tracts in Theoretical Computer Science, Book 29 of 40. Book 29 of 40 - Cambridge Tracts in Theoretical Computer Science
- Softcover
- Print on Demand
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
£ 75.08
£ 59.96 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. Data Refinement | Model-Oriented Proof Methods and Their Comparison | Willem-Paul de Roever (u. a.) | Taschenbuch | Englisch | 2008 | Cambridge University Press | EAN 9780521103503 | Verantwortliche Person für die EU: Libri GmbH, Europaallee 1, 36244 Bad Hersfeld, gpsr[at]libri[dot]de | Anbieter: pre…igu Print on Demand.
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.
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
- Print on Demand
Seller: THE SAINT BOOKSTORE, Southport, United KingdomTHE SAINT BOOKSTORE
Contact seller5-star sellerCondition: New
£ 176.43
£ 19.15 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Hardback. Condition: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days.
