Software Abstractions

Software Abstractions
DDv8Ie_jBUQC
354
By:"Daniel Jackson"
"Computers"
Published on 2012 by MIT Press

This revised edition updates the text,examples, and appendixes to be fully compatible with the latest version of Alloy (Alloy 4).

READ NOW

In Software Abstractions Daniel Jackson introduces an approach to software design that draws on traditional formal methods but exploits automated tools to find flaws as early as possible. This approach -- which Jackson calls \

This Book was ranked 11 by Google Books for keyword software.

The book is written in enfor NOT_MATURE

Read Ebook Now
false
true

Printed Version of this book available in
BOOK

Availability of Ebook version is falsein falseor false

Public Domain Status false

Rating by

SAMPLE

false

To Get More Computer Engineering Ebooks Click Here