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: As New. Seller Inventory # 0201172372-1-37227821
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
Stock Image
Formal Development of Programs and Proofs
Seller: Hawking Books, Edgewood, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: Very Good. Very Good Condition. Has some wear. Five star seller - Buy with confidence! Seller Inventory # X0201172372X2