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. £7.29, good condition, Sold by Zoom Books East rated 5.0 out of 5 stars, ships from Glendale Heights, IL, UNITED STATES, published 2006 by Mit Pr.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Book is in very good condition and may include minimal underlining highlighting. 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 Software Abstractions: Logic, Language, and Analysis to cart. £8.14, good condition, Sold by Gulf Coast Books rated 5.0 out of 5 stars, ships from Cypress, TX, UNITED STATES, published 2006 by The MIT Press.
Add this copy of Software Abstractions: Logic, Language, and Analysis to cart. £8.16, good condition, Sold by Phatpocket Limited rated 4.0 out of 5 stars, ships from Waltham Abbey, ESSEX, UNITED KINGDOM, published 2006 by MIT Press (MA).
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Good. Ships from UK in 48 hours or less (usually same day). Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library, so some stamps and wear, but in good overall condition. 100% money back guarantee. We are a world class secondhand bookstore based in Hertfordshire, United Kingdom and specialize in high quality textbooks across an enormous variety of subjects. We aim to provide a vast range of textbooks, rare and collectible books at a great price. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions. We provide a 100% money back guarantee and are dedicated to providing our customers with the highest standards of service in the bookselling industry.
Add this copy of Software Abstractions: Logic, Language, and Analysis to cart. £8.88, very good condition, Sold by ThriftBooks-Atlanta rated 4.0 out of 5 stars, ships from Austell, GA, UNITED STATES, published 2006 by Mit Pr.
Add this copy of Software Abstractions: Logic, Language, and Analysis to cart. £10.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.24, very good condition, Sold by Wonder Book - Member ABAA/ILAB rated 5.0 out of 5 stars, ships from Frederick, MD, UNITED STATES, published 2006 by MIT Press (MA).
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Very Good. Very Good condition. A copy that may have a few cosmetic defects. May also contain light spine creasing or a few markings such as an owner's name, short gifter's inscription or light stamp.
Add this copy of Software Abstractions: Logic, Language, and Analysis to cart. £15.20, very good condition, Sold by Half Price Books Inc rated 4.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:
Very good. Connecting readers with great books since 1972! Used books may not include companion materials, and may have some shelf wear or limited writing. We ship orders daily and Customer Service is our top priority!
Add this copy of Software Abstractions, Revised Edition: Logic, Language to cart. £23.61, good condition, Sold by HPB-Red rated 5.0 out of 5 stars, ships from Dallas, TX, UNITED STATES, published 2016 by 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, Revised Edition: Logic, Language to cart. £23.61, fair condition, Sold by Blue Vase Books rated 5.0 out of 5 stars, ships from Interlochen, MI, UNITED STATES, published 2016 by MIT Press.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Fair. The item is very worn but is perfectly usable. Signs of wear can include aesthetic issues such as scratches dents worn and creased covers folded page corners and minor liquid stains. All pages and the cover are intact but the dust cover may be missing. Pages may include moderate to heavy amount of notes and highlighting but the text is not obscured or unreadable. Page edges may have foxing age related spots and browning. May NOT include discs access code or other supplemental materials.
Add this copy of Software Abstractions, Revised Edition: Logic, Language to cart. £23.69, good condition, Sold by HPB-Red rated 5.0 out of 5 stars, ships from Dallas, TX, UNITED STATES, published 2016 by 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!
