We have over a million books in stock.
Bookbot
The book is currently out of stock

Software Abstractions

More about the book

An approach to software design that introduces a fully automated analysis giving designers immediate feedback, now featuring the latest version of the Alloy language.

Book purchase

Software Abstractions, Daniel Jackson

Language
Released
2016
product-detail.submit-box.info.binding
(Paperback)
We’ll notify you via email once we track it down.

Payment methods