Software Abstractions Logic, Language, and Analysis |
|
| Author:
| Jackson, Daniel |
| Series title: | The MIT Press Ser. |
| ISBN: | 978-0-262-30024-7 |
| Publication Date: | Nov 2011 |
| Publisher: | MIT Press
|
| Book Format: | Ebook |
| List Price: | USD $53.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.