Programming from specifications

Front Cover
Prentice Hall, Jan 1, 1990 - Computers - 255 pages
0 Reviews

From inside the book

What people are saying - Write a review

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

Contents

The predicate calculus
15
Types and declarations
28
Alternation
47
Copyright

15 other sections not shown

Common terms and phrases

References to this book

All Book Search results »

Bibliographic information