Book
Program Construction
This text is about how to construct programs so that they meet their specifications. Formal specifications are written using simple propositional and predicate calculus, with a uniform notation for quantified expressions. «
Score:
Reviews:
Times tipped:
Times read:
Author(s):
Category:
ISBN
9780470848821
Welcome to Boeklezers.nl
Boeklezers.nl is a network for social reading. We help readers discover new books and authors, and bring readers in contact with each other and with writers. Read more ».
Reviews of Program Construction by Roland C. Backhouse
There are no reviews for this book yet.
Idea box
