Add this copy of The Deductive Foundations of Computer Programming: a to cart. $102.69, new condition, Sold by GridFreed rated 5.0 out of 5 stars, ships from North Las Vegas, NV, UNITED STATES, published 1993 by Addison-Wesley Professional.
Add this copy of The Deductive Foundations of Computer Programming: a to cart. $164.90, new condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Santa Clarita, CA, UNITED STATES, published 1993 by Addison-Wesley Professional.