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. $2.41, 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. $3.65, 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. $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. $5.78, 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, Revised Edition: Logic, Language to cart. $12.93, 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: Logic, Language, and Analysis to cart. $14.62, 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. $15.00, like new condition, Sold by Shopbookaholic rated 4.0 out of 5 stars, ships from Wichita, KS, UNITED STATES, published 2016 by MIT Press.
Add this copy of Software Abstractions, Revised Edition: Logic, Language to cart. $16.64, good condition, Sold by Big River Books rated 5.0 out of 5 stars, ships from Powder Springs, GA, UNITED STATES, published 2016 by MIT Press.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
This book is in good condition. The cover has minor creases or bends. The binding is tight and pages are intact. Some pages may have writing or highlighting.
Add this copy of Software Abstractions: Logic, Language, and Analysis to cart. $20.10, 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.
