Predicate Calculus and Program Semantics
By: by Edsger W. Dijkstra, Carel S. Scholten
Contributors: Scholten, Carel S.
Series: Texts and Monographs in Computer Science; Texts and monographs in computer science
Publisher: Springer New York
Published: 1990
Place of publication: New York, NY
Language: eng
Format: [electronic resource] /
Number of pages: 220
ISBN-13: 9781461279242; 9781461232285
Subjects: Logic design; Computer science
Notes: Online full text is restricted to subscribers.

Also available in print.

Mode of access: World Wide Web.