Program Construction: Calculating Implementations from Specifications
8 ratings by Goodreads
Language: English
Published by Wiley, 2003
- Softcover
- New
Seller: SHIMEDIA, Brooklyn, NY, U.S.A.SHIMEDIA
4-star seller
AbeBooks seller since June 30, 2024
Softcover
Condition: New
US$ 99.99
Free Shipping
Ships within U.S.A.
Quantity: 1 available
Add to basketFree 30-day returns
Item description from seller
Satisfaction Guaranteed or your money back.
Seller Inventory # 0470848820
- Title
- Program Construction: Calculating Implementations from Specifications
- Author
- Backhouse, Roland
- Publisher
- Wiley
- Publication year
- 2003
- Condition
- New
- Binding
- Soft cover
- 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 | 5 to 14 business days | 5 to 14 business days |
|---|---|---|
| First item | US$ 0.00 | US$ 14.00 |
Payment methods
Specialty
Science Fiction, Fantasy, etcSeller's business information
SHIMEDIA
NY, U.S.A.