Items related to Formal Development of Programs and Proofs (The Ut Year...
Search results for Formal Development of Programs and Proofs (The Ut Year...
Stock Image
Formal Development of Programs and Proofs
Seller: Orion Tech, Kingwood, TX, U.S.A.
Seller rating 5 out of 5 stars
hardcover. Condition: Very Good. Seller Inventory # 0201172372-2-37227821
Stock Image
Formal Development of Programs and Proofs
Published by
Pearson Education, Limited, 1990
ISBN 10: 0201172372
ISBN 13: 9780201172379
Used
Hardcover
First Edition
Seller: Better World Books Ltd, Dunfermline, United Kingdom
Seller rating 5 out of 5 stars
Condition: Good. 1st. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good. Seller Inventory # GRP90078629
Buy Used
£ 34.91
£ 5 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available
Stock Image
Formal Development of Programs and Proofs
Seller: Ammareal, Morangis, France
Seller rating 5 out of 5 stars
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. Seller Inventory # H-670-509