Predicate calculus and program semantics /
Dijkstra, Edsger W.
Predicate calculus and program semantics / by Edsger W. Dijkstra, Carel S. Scholten. - New York, N.Y. : Springer-Verlag, 1990. - x, 220 p. - Texts and Monographs in Computer Science. .
0387969578
Programming languages (Electronic omputers)--Semantics.
Predicate calculus and program semantics / by Edsger W. Dijkstra, Carel S. Scholten. - New York, N.Y. : Springer-Verlag, 1990. - x, 220 p. - Texts and Monographs in Computer Science. .
0387969578
Programming languages (Electronic omputers)--Semantics.