An approach to software design that introduces a fully automated analysis giving designers immediate feedback, now featuring the latest version of the Alloy language.
Read More
An approach to software design that introduces a fully automated analysis giving designers immediate feedback, now featuring the latest version of the Alloy language.
Read Less
Add this copy of Software Abstractions: Logic, Language, and Analysis to cart. $24.88, very good condition, Sold by spellbound rated 5.0 out of 5 stars, ships from McKeesport, PA, UNITED STATES, published 2012 by Mit Pr.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Very Good. Size: 0x6x9; Very Good Condition-May show some limited signs of wear and may have a remainder mark. Pages and dust cover are intact and not marred by notes or highlighting.
Add this copy of Software Abstractions: Logic, Language, and Analysis to cart. $64.30, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Newport Coast, CA, UNITED STATES, published 2012 by Mit Pr.