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.