Formal Development of Programs and Proofs
Dijkstra, Edsger,Dijkstra, E. W.
ISBN 10: 0201172372 ISBN 13: 9780201172379
Published by Addison-Wesley, 1990
Used
hardcover
From
HPB-Red, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
AbeBooks Seller since March 11, 2019
This specific item is no longer available.
About this Item
Description:
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
Synopsis:
Formal Development of Programs and Proofs
"About this title" may belong to another edition of this title.
Bibliographic Details
Title: Formal Development of Programs and Proofs
Publisher: Addison-Wesley
Publication Date: 1990
Binding: hardcover
Condition: Good
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
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
US$ 43.95
US$ 14.24 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: 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
US$ 47.60
US$ 10.70 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
US$ 47.60
US$ 10.70 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