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. $25.88, good condition, Sold by Zoom Books Company rated 4.0 out of 5 stars, ships from Lynden, WA, UNITED STATES, published 1996 by Mit Pr.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Book is in good condition and may include underlining highlighting and minimal wear. The book can also include From the library of labels. May not contain miscellaneous items toys dvds etc. We offer 100% money back guarantee and 24 7 customer service.
Add this copy of Algebraic Semantics of Imperative Programs (Foundations to cart. $26.76, very good condition, Sold by ThriftBooks-Reno rated 5.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. $26.78, good condition, Sold by HPB-Red rated 5.0 out of 5 stars, ships from Dallas, TX, UNITED STATES, published 1996 by Mit Pr.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority!
Add this copy of Algebraic Semantics of Imperative Programs (Foundations to cart. $61.00, 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. $76.93, 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. $81.26, new condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Santa Clarita, CA, UNITED STATES, published 1996 by Mit Pr.
