Program Construction: Calculating Implementations from Specifications

Program Construction: Calculating Implementations from Specifications

by RolandBackhouse (Author)

Synopsis

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.

$57.23

Quantity

10 in stock

More Information

Format: Illustrated
Pages: 354
Edition: 1
Publisher: John Wiley & Sons
Published: 27 Mar 2003

ISBN 10: 0470848820
ISBN 13: 9780470848821