Software Abstractions, revised editionthe_mit_press978-02-6252-890-097802625289002016-02-12English (United States)376SoftcoverBook profileEnglish (United States)
Book · 1 edition
Software Abstractions, revised edition
- 2016
- first published
- English
- language
- 1
- edition in English
- 376
- pages
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...
Editions
1 edition · sort: newestSoftware Abstractions, revised editionthe_mit_press978-02-6252-890-097802625289002016-02-12English (United States)376Softcover