# Software Abstractions, revised edition

Canonical: https://www.bookquiver.com/daniel-jackson/software-abstractions-revised-edition

![Software Abstractions, revised edition](https://quivercdn.com/covers/the-mit-press/daniel-jackson/software-abstractions-revised-edition_978-02-6252-890-0.jpg?v=2026-06-11%2022%3A00%3A12)

- Authors: [Daniel Jackson](https://www.bookquiver.com/daniel-jackson)
- Language: en_US
- Published: 2016-02-12

## 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...

## Editions

### Software Abstractions, revised edition

- Publisher: the_mit_press
- ISBN: 978-02-6252-890-0
- Pages: 376
- Published: 2016-02-12
- Language: en_US