Program Construction: Calculating Implementations from Specifications
8 ratings by Goodreads
Language: English
Published by Wiley, 2003
- Softcover
- New
Seller: GoldBooks, Denver, CO, U.S.A.GoldBooks
5-star seller
AbeBooks seller since May 15, 2019
Softcover
Condition: New
US$ 53.90
US$ 5.50 shipping
Ships within U.S.A.
Quantity: 1 available
Add to basketFree 30-day returns
Item description from seller
New Copy. Customer Service Guaranteed.
Seller Inventory # 95R66_42_0470848820
- Title
- Program Construction: Calculating Implementations from Specifications
- Author
- Backhouse, Roland
- Publisher
- Wiley
- Publication year
- 2003
- Condition
- new
- Binding
- Paperback
- Language
- English
- ISBN 10
- 0470848820
- ISBN 13
- 9780470848821
Most texts on logic or discrete math fail to show why math and logic are fundamental tools for programmers. Program Construction illustrates the importance of math and logic to programming, providing a complete, self-contained account of the principles of logical reasoning. Designed specifically so users can construct programs that meet their specifications, the book details program construction principles in a straightforward fashion, avoiding overly complicated theory, and then illustrating each with convincing examples.
"Synopsis" may belong to another edition of this title.
About the Author
Roland Backhouse leads the Foundations of Programming research group at the University of Nottingham. He returned to the UK in 1999 after spending 13 years in the Netherlands, 9 of which as professor at Eindhoven University of Technology (the institution that pioneered the style of reasoning and construction of programs that forms the basis for this book).
"About the title" may belong to another edition of this title.
Shipping rates within U.S.A.
| Item | 4 to 14 business days | 3 to 8 business days |
|---|---|---|
| First item | US$ 5.50 | US$ 12.75 |
Payment methods
Store description
We are dedicated to providing customers with easy, flawless transactions and excellent books! We provide 100% customer satisfaction and are always here to answer any questions or concerns for our customers.
Specialty
Non-Fiction across all genres, FictionSeller's business information
Farm For Books Inc
1734 Bellaire Street
Denver, CO U.S.A. 80220