The book is currently out of stock
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 email you as soon as we track it down.
Payment methods
We’re missing your review here.