Software Abstractions: Logic, Language, and Analysis

by Daniel Jackson and Daniel Jackson

Book Overview

An approach to software design that introduces a fully automated analysis giving designers immediate feedback, now featuring the latest version of the Alloy language. In Software Abstractions Daniel... This description may be from another edition of this product.

• Format: Hardcover
• Language: English
• ISBN: 0262101149
• ISBN13: 9780262101141
• Release Date: January 2006
• Publisher: MIT Press (MA)
• Length: 350 Pages
• Weight: 1.38 lbs.
• Dimensions: 0.9" x 6.1" x 9.3"