You are purchasing a Good copy of 'Software Abstractions, revised edition: Logic, Language, and Analysis (Mit Press)'.

Publisher : MIT Press. Product Subcategory : Software Design, Testing & Engineering (Books). First Edition : False. About Bellwether Books. LIKE NEW! Has a red or black remainder mark on bottom/exterior edge of pages.

You are purchasing a Very Good copy of 'Software Abstractions, revised edition: Logic, Language, and Analysis (Mit Press)'. Condition Notes: Gently read. Binding tight; spine straight and smooth, with no creasing; covers clean and crisp.