The book is currently out of stock

Parameters
More about the book
An approach to software design that introduces a fully automated analysis giving designers immediate feedback, now featuring the latest version of the Alloy language.
Book purchase
Software Abstractions, Daniel Jackson
- Language
- Released
- 2016
- product-detail.submit-box.info.binding
- (Paperback)
We’ll notify you via email once we track it down.
Payment methods
- Title
- Software Abstractions
- Language
- English
- Authors
- Daniel Jackson
- Publisher
- MIT Press Ltd
- Released
- 2016
- Format
- Paperback
- ISBN10
- 0262528908
- ISBN13
- 9780262528900
- Description
- An approach to software design that introduces a fully automated analysis giving designers immediate feedback, now featuring the latest version of the Alloy language.