Bubel Richard Edt (6 results)
Deductive Software Verification - Future Perspectives : Reflections on the Occasion of 20 Years of Key
Ahrendt, Wolfgang (EDT); Beckert, Bernhard (EDT); Bubel, Richard (EDT); Hähnle, Reiner (EDT); Ulbrich, Mattias (EDT)
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
£ 45.32
£ 1.99 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
Deductive Software Verification - Future Perspectives : Reflections on the Occasion of 20 Years of Key
Ahrendt, Wolfgang (EDT); Beckert, Bernhard (EDT); Bubel, Richard (EDT); Hähnle, Reiner (EDT); Ulbrich, Mattias (EDT)
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
£ 52.81
£ 1.99 shippingShips within U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
Deductive Software Verification - Future Perspectives : Reflections on the Occasion of 20 Years of Key
Ahrendt, Wolfgang (EDT); Beckert, Bernhard (EDT); Bubel, Richard (EDT); Hähnle, Reiner (EDT); Ulbrich, Mattias (EDT)
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: New
£ 50.25
£ 15.00 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New.
Deductive Software Verification - Future Perspectives : Reflections on the Occasion of 20 Years of Key
Ahrendt, Wolfgang (EDT); Beckert, Bernhard (EDT); Bubel, Richard (EDT); Hähnle, Reiner (EDT); Ulbrich, Mattias (EDT)
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: Used - As new
£ 55.94
£ 15.00 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
Deductive Software Verification : The Key Book; from Theory to Practice
Ahrendt, Wolfgang (EDT); Beckert, Bernhard (EDT); Bubel, Richard (EDT); Hähnle, Reiner (EDT); Schmitt, Peter H. (EDT)
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
£ 126.46
£ 1.99 shippingShips within U.S.A.Quantity: 15 available
Condition: As New. Unread book in perfect condition.
Deductive Software Verification : The Key Book; from Theory to Practice
Ahrendt, Wolfgang (EDT); Beckert, Bernhard (EDT); Bubel, Richard (EDT); Hähnle, Reiner (EDT); Schmitt, Peter H. (EDT)
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
£ 126.82
£ 1.99 shippingShips within U.S.A.Quantity: 15 available
Condition: New.
