1 / 1
- 2016
- year of publication
- 376
- pages
- English (United States)
- language
- Softcover
- cover
- Publisher
- the_mit_press
- ISBN-13
- 978-02-6252-890-0
- EAN
- 9780262528900
- Publication date
- 2016-02-12
- Book
- Software Abstractions, revised edition · 1 edition
The publisher on this edition
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 Jackson...