Predicate calculus and program semantics
By: Edsger W. Dijkstra, Carel S. Scholten.
Contributors: Scholten, Carel S.
Series: Texts and monographs in computer science
Publisher: Springer-Verlag
Published: 1990
Place of publication: New York
Language: eng
Number of pages: 220
Subjects: Predicate calculus.; Programming languages (Electronic computers) -- Semantics.
Notes: Includes index.