Program Construction and Verification

Front Cover
Prentice-Hall International, 1986 - Computer programming - 281 pages

From inside the book

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

Preface
9
THE PROPOSITIONAL CALCULUS
14
THE PREDICATE CALCULUS
53
Copyright

6 other sections not shown

Common terms and phrases

About the author (1986)

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).

Bibliographic information