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. $4.32, good condition, Sold by ThriftBooks-Dallas rated 5.0 out of 5 stars, ships from Dallas, TX, UNITED STATES, published 2006 by MIT Press (MA).
Add this copy of Software Abstractions: Logic, Language, and Analysis to cart. $5.00, good condition, Sold by HPB-Red rated 5.0 out of 5 stars, ships from Dallas, TX, UNITED STATES, published 2006 by The MIT Press.
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 Software Abstractions: Logic, Language, and Analysis to cart. $10.37, good condition, Sold by HPB-Red rated 5.0 out of 5 stars, ships from Dallas, TX, UNITED STATES, published 2006 by The MIT Press.
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 Software Abstractions? Logic, Language, and Analysis to cart. $37.60, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Hialeah, FL, UNITED STATES, published 2006 by MIT Press.
Add this copy of Software Abstractions: Logic, Language, and Analysis to cart. $82.92, new condition, Sold by GridFreed rated 5.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. $95.48, new condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Hialeah, FL, UNITED STATES, published 2006 by Mit Pr.
