Software Abstractions, Revised Edition |
|
| Author:
| Jackson, Daniel |
| ISBN: | 978-1-283-32179-2 |
| Publication Date: | Jan 2012 |
| Publisher: | MIT Press
|
| Book Format: | Ebook |
| List Price: | USD $48.00 |
Book 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.
An approach to software design that introduces a fully automated analysis giving designers immediate feedback, now featuring the latest version of the Alloy language.