0387969578 SHOW MOOCHABLE + ? RELATED SEARCHES > ADVANCED SEARCH > HIDE COVERS - ASIN Title: Predicate Calculus and Program Semantics (Monographs in Computer Science) Author: Edsger W. Dijkstra Description: Product Description This booklet presents a reasonably self-contained theory of predicate trans­ former semantics. Predicate transformers were introduced by one of us (EWD) as a means for defining programming... (more) Available: No copies available WISHLIST ADD + SAVE FOR LATER + AMAZON > RECOMMEND > DETAIL > 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 >