A new approach to software verification introduces Alloy, a language that captures the essence of software abstraction with an analysis that is fully automated.
Read More
A new approach to software verification introduces Alloy, a language that captures the essence of software abstraction with an analysis that is fully automated.
Read Less
Add this copy of Software Abstractions: Logic, Language, and Analysis to cart. $2.95, good condition, Sold by Goodwill Books rated 5.0 out of 5 stars, ships from Hillsboro, OR, UNITED STATES, published 2006 by MIT Press (MA).
Add this copy of Software Abstractions: Logic, Language, and Analysis to cart. $2.95, fair condition, Sold by Goodwill Books rated 5.0 out of 5 stars, ships from Hillsboro, OR, UNITED STATES, published 2006 by MIT Press (MA).
Add this copy of Software Abstractions: Logic, Language, and Analysis to cart. $5.42, good condition, Sold by Midtown Scholar Bookstore rated 5.0 out of 5 stars, ships from Harrisburg, PA, UNITED STATES, published 2006 by The MIT Press.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Good-Bumped and creased book with tears to the extremities, but not affecting the text block, may have remainder mark or previous owner's name-GOOD Standard-sized.
Add this copy of Software Abstractions: Logic, Language, and Analysis to cart. $45.46, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Newport Coast, CA, UNITED STATES, published 2006 by Mit Pr.
Add this copy of Software Abstractions: Logic, Language, and Analysis to cart. $77.48, new condition, Sold by GridFreed rated 4.0 out of 5 stars, ships from North Las Vegas, NV, UNITED STATES, published 2006 by The MIT Press.
Add this copy of Software Abstractions: Logic, Language, and Analysis to cart. $100.81, new condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Newport Coast, CA, UNITED STATES, published 2006 by The MIT Press.