Software Abstractions, Revised Edition: Logic, Language, and Analysis by Daniel Jackson

Mit Press

Software Abstractions, Revised Edition: Logic, Language, and Analysis

Daniel Jackson

376 pages paperback

1 edition

nonfiction computer science challenging informative medium-paced
More Options

Read With Others

Book Information

Powered by AI (Beta)
Loading...

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. In Software Abstractions Daniel Jackson introduces an approach to software desig...

Show More

Community Reviews

Loading...

Content Warnings

Loading...