Items related to Formal Development of Programs and Proofs
Synopsis
Formal Development of Programs and Proofs [hardcover] Dijkstra, Edsger,Dijkstra, E. W. [Jan 01, 1990]
"synopsis" may belong to another edition of this title.
- PublisherAddison-Wesley
- Publication date1990
- ISBN 10 0201172372
- ISBN 13 9780201172379
- BindingHardcover
- LanguageEnglish
- Edition number1
- Number of pages256
- Rating
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
Seller: SecondSale, Montgomery, IL, U.S.A.
Seller rating 5 out of 5 stars
Condition: Good. Item in good condition. Textbooks may not include supplemental items i.e. CDs, access codes etc. Seller Inventory # 00082261944
Quantity: 1 available
Stock Image
Formal Development of Programs and Proofs
Published by
Addison-Wesley Professional, 1990
ISBN 10: 0201172372
ISBN 13: 9780201172379
Used
Hardcover
Seller: ThriftBooks-Dallas, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Hardcover. Condition: Good. No Jacket. Missing dust jacket; Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less 1.15. Seller Inventory # G0201172372I3N01
Quantity: 1 available
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
Quantity: 1 available
Stock Image
Formal Development of Programs and Proofs
Seller: dsmbooks, Liverpool, United Kingdom
Seller rating 4 out of 5 stars
hardcover. Condition: Good. Good. book. Seller Inventory # D8S0-3-M-0201172372-6
Quantity: 1 available