ISBN: 9780201172379 - Formal Development of Programs and Proofs (the Ut Year of Programming Series) (3 results)

- Hardcover
Seller: Orion Tech, Kingwood, TX, U.S.A.Orion Tech
Contact seller5-star sellerCondition: Used - As new
£ 34.93
Free ShippingShips within U.S.A.Quantity: 1 available
hardcover. Condition: As New.

- Hardcover
Seller: Ammareal, Morangis, FranceAmmareal
Contact seller5-star sellerCondition: Used - Fine
£ 31.16
£ 5.24 shippingShips from France to U.S.A.Quantity: 1 available
No jacket. Condition: Très bon. Ancien livre de bibliothèque avec équipements. Sans jaquette. Edition 1990. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. No dust jacket. Edition 1990. Ammareal gives back up to 15% of this item's net price to charity organizations. …

- Hardcover
Seller: Hawking Books, Edgewood, TX, U.S.A.Hawking Books
Contact seller5-star sellerCondition: Used - Very good
£ 56.72
Free ShippingShips within U.S.A.Quantity: 1 available
Condition: Very Good. Very Good Condition. Has some wear. Five star seller - Buy with confidence.