predicate calculus program semantics monographs in computer science SHOW MOOCHABLE + TITLE > TOPIC > ? RELATED SEARCHES > ADVANCED SEARCH > SHOW COVERS + Title Copies Edsger W. Dijkstra Predicate Calculus and Program Semantics (Monographs in Computer Science) 0 Search BookMooch for a book: SEARCH BOOKMOOCH > Search Amazon for a book: amazon.co.uk amazon.de amazon.es amazon.fr amazon.it amazon.cn SEARCH AMAZON >