Predicate calculus and program semantics /
Dijkstra, Edsger Wybe.
Predicate calculus and program semantics / Edsger W. Dijkstra, Carel S. Scholten. - New York : Springer-Verlag, c1990. - x, 220 p. : ill. ; 25 cm. - Texts and monographs in computer science .
Includes index.
0387969578 (alk. paper)
Predicate calculus.
Programming languages (Electronic computers)--Semantics.
511.3 / DIP
Predicate calculus and program semantics / Edsger W. Dijkstra, Carel S. Scholten. - New York : Springer-Verlag, c1990. - x, 220 p. : ill. ; 25 cm. - Texts and monographs in computer science .
Includes index.
0387969578 (alk. paper)
Predicate calculus.
Programming languages (Electronic computers)--Semantics.
511.3 / DIP