Items related to Formal Development of Programs and Proofs
Synopsis
Formal Development of Programs and Proofs
"synopsis" may belong to another edition of this title.
Search results for Formal Development of Programs and Proofs
Stock Image
Formal Development of Programs and Proofs
Seller: HPB-Red, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
hardcover. Condition: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority! Seller Inventory # S_425591159
Quantity: 1 available
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: Very Good. 1st. Ships from the UK. Former library book; may include library markings. Used book that is in excellent condition. May show signs of wear or have minor defects. Seller Inventory # 3146932-6
Quantity: 1 available