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

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

Mit Press

Daniel Jackson

376 pages • missing pub info (editions)

nonfiction computer science challenging informative medium-paced
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...

Read more

Community Reviews

Loading...

Content Warnings

Loading...