Formal Development of Programs and Proofs
Edsger Dijkstra; E. W. Dijkstra
ISBN 10: 0201172372 ISBN 13: 9780201172379
Published by Addison-Wesley, 1990
Used
Hardcover
From
ThriftBooks-Dallas, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
AbeBooks Seller since 2 July 2009
This specific item is no longer available.
About this Item
Description:
Missing dust jacket; Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less 1.15. Seller Inventory # G0201172372I3N01
Bibliographic Details
Title: Formal Development of Programs and Proofs
Publisher: Addison-Wesley
Publication Date: 1990
Binding: Hardcover
Condition: Good
Dust Jacket Condition: No Jacket
Top Search Results from the AbeBooks Marketplace
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_433706131
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: West, Reno, NV, U.S.A.
Seller rating 5 out of 5 stars
Condition: Very Good. 1st. Used book that is in excellent condition. May show signs of wear or have minor defects. Seller Inventory # 4093207-6
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, Mishawaka, IN, U.S.A.
Seller rating 5 out of 5 stars
Condition: Good. 1st. Used book that is in clean, average condition without any missing pages. Seller Inventory # 10283698-6
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
Buy Used
£ 36.29
£ 8 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
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. Ships from the UK. Former library book; may include library markings. Used book that is in clean, average condition without any missing pages. Seller Inventory # GRP90078629
Buy Used
£ 36.29
£ 8 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: ThriftBooks-Dallas, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Hardcover. Condition: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less. Seller Inventory # G0201172372I4N00
Stock Image
Formal Development of Programs and Proofs
Seller: Phatpocket Limited, Waltham Abbey, HERTS, United Kingdom
Seller rating 5 out of 5 stars
Condition: Good. Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library, so some stamps and wear, but in good overall condition. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions. Seller Inventory # Z1-W-022-01674
Buy Used
£ 54.80
£ 10.64 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available