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.