Scan barcode
376 pages • missing pub info (editions)
ISBN/UID: 9780262528900
Format: Paperback
Language: English
Publisher: MIT Press
Publication date: 12 February 2016
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. In Software Abstractions Daniel Jackson introduces an approach to software desig...
Community Reviews Summary of 2 ratings
Average rating
Content Warnings
This book doesn't have any content warnings yet!
If you're the author of this book and want to add author-approved content warnings, please email us at [email protected] to request the content warning form.
376 pages • missing pub info (editions)
ISBN/UID: 9780262528900
Format: Paperback
Language: English
Publisher: MIT Press
Publication date: 12 February 2016
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. In Software Abstractions Daniel Jackson introduces an approach to software desig...
Community Reviews Summary of 2 ratings
Average rating
Content Warnings
This book doesn't have any content warnings yet!
If you're the author of this book and want to add author-approved content warnings, please email us at [email protected] to request the content warning form.