Predicate Calculus and Program Semantics

by Carel S. Scholten, Edsger W. Dijkstra, Carel S. Dijkstra, Edsger W.; Scholten

Book Overview

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 language... This description may be from another edition of this product.

• Format: Hardcover
• Language: English
• ISBN: 0387969578
• ISBN13: 9780387969572
• Release Date: January 1989
• Publisher: Springer
• Length: 220 Pages
• Weight: 1.10 lbs.
• Dimensions: 0.7" x 6.3" x 9.6"