Algebraic Semantics of Imperative Programs presents a self-contained and novel "executable" introduction to formal reasoning about imperative programs. The authors' primary goal is to improve programming ability by improving intuition about what programs mean and how they run.
Read More
Algebraic Semantics of Imperative Programs presents a self-contained and novel "executable" introduction to formal reasoning about imperative programs. The authors' primary goal is to improve programming ability by improving intuition about what programs mean and how they run.
Read Less
Add this copy of Algebraic Semantics of Imperative Programs (Foundations to cart. £14.01, very good condition, Sold by ThriftBooks-Reno rated 4.0 out of 5 stars, ships from Reno, NV, UNITED STATES, published 1996 by Mit Pr.
Add this copy of Algebraic Semantics of Imperative Programs (Foundations to cart. £17.27, good condition, Sold by Goodwill of Silicon Valley rated 5.0 out of 5 stars, ships from San Jose, CA, UNITED STATES, published 1996 by Mit Pr.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Supports Goodwill of Silicon Valley job training programs. The cover and pages are in Good condition! Any other included accessories are also in Good condition showing use. Use can include some highlighting and writing page and cover creases as well as other types visible wear.
Add this copy of Algebraic Semantics of Imperative Programs (Foundations to cart. £38.81, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Santa Clarita, CA, UNITED STATES, published 1996 by Mit Pr.
Add this copy of Algebraic Semantics of Imperative Programs (Foundations to cart. £62.59, new condition, Sold by GridFreed rated 5.0 out of 5 stars, ships from North Las Vegas, NV, UNITED STATES, published 1996 by The MIT Press.
Add this copy of Algebraic Semantics of Imperative Programs (Foundations to cart. £66.11, new condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Santa Clarita, CA, UNITED STATES, published 1996 by Mit Pr.
