Take a photo of a barcode or cover
Read With Others
Book Information
376 pages • paperback • 1 edition
ISBN/UID: 9780262528900
Format: Paperback
Language: English
Publisher: MIT Press
Edition Pub Date: 12 Feb 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
Content Warnings
376 pages • paperback
ISBN/UID: 9780262528900
Format: Paperback
Language: English
Publisher: MIT Press
Edition Pub Date: 12 Feb 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
Content Warnings