Back to results
Cover image for book Program Construction: Calculating Implementations from Specifications

Program Construction: Calculating Implementations from Specifications

By:Roland Backhouse
Publisher:Wiley Global Education US
Print ISBN:9780470848821
eText ISBN:9780470864548
Edition:1
Copyright:2004
Format:Page Fidelity

eBook Features

Instant Access

Purchase and read your book immediately

Read Offline

Access your eTextbook anytime and anywhere

Study Tools

Built-in study tools like highlights and more

Read Aloud

Listen and follow along as Bookshelf reads to you

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.