Formal Development of Programs and Proofs
Dijkstra, Edsger; Dijkstra, E. W.
Language: English
Published by Addison-Wesley, 1990
- Hardcover
- Used
Seller: Orion Tech, Kingwood, TX, U.S.A.Orion Tech
AbeBooks seller since February 18, 2015
Condition: Used - Very good
US$ 42.98
Quantity: 1 available
Add to basketSeller Inventory # 0201172372-2-37227821
- Title
- Formal Development of Programs and Proofs
- Author
- Dijkstra, Edsger; Dijkstra, E. W.
- Publisher
- Addison-Wesley
- Publication year
- 1990
- Condition
- Very Good
- Binding
- hardcover
- Language
- English
- ISBN 10
- 0201172372
- ISBN 13
- 9780201172379
- Item weight
- 18 ounces
- Dimensions
- 6x0x9
"Synopsis" may belong to another edition of this title.
Orion Tech
Kingwood, TX, U.S.A.
AbeBooks seller since February 18, 2015
Shipping rates within U.S.A.
| Item | 4 to 8 business days | 2 to 6 business days |
|---|---|---|
| First item | US$ 0.00 | US$ 0.99 |
Payment methods
Seller's business information
Orion Tech
6110 Royal Point Court
Kingwood, TX U.S.A. 77345
Terms of sale
We guarantee the condition of every book as it's described on the AbeBooks web sites. If you're dissatisfied with your purchase (Incorrect Book/Not as Described/Damaged) or if the order hasn't arrived, you're eligible for a refund within 30 days of the estimated delivery date. If you've changed your mind about a book that you've ordered, please use the Ask bookseller a question link to contact us and we'll respond within 2 business days. This does not affect your statutory consumer rights including the right to withdraw from the contract and your statutory warranty rights.
Shipping terms
Shipping costs are based on books weighing 2.2 LB, or 1 KG. If your book order is heavy or oversized, we may contact you to let you know extra shipping is required.