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; London
Language: eng
Number of pages: 220