Have one to sell?
Predicate Calculus and Program Semantics (Monographs in Computer Science) Hardcover – 4 Jan 1990
Enter your mobile number or email address below and we'll send you a link to download the free Kindle App. Then you can start reading Kindle books on your smartphone, tablet, or computer - no Kindle device required.
To get the free app, enter your mobile phone number.
Would you like to tell us about a lower price?
If you are a seller for this product, would you like to suggest updates through seller support?
A self-contained foundation of predicate transformer semantics, using the predicate calculus, and defining the semantics of the repetitive construct and the notion of determinacy. Distinguished from other works on program semantics by its nonoperational approach, and from mathematical texts by the calculational format of its proofs. For computing s
There are no customer reviews yet.
|5 star (0%)|
|4 star (0%)|
|3 star (0%)|
|2 star (0%)|
|1 star (0%)|