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

Software Abstractions: Logic, Language, and Analysis

Daniel Jackson

350 pages first pub 2006 (editions)

nonfiction computer science informative slow-paced
Powered by AI (Beta)
Loading...

Description

In Software Abstractions Daniel Jackson introduces a new approach tosoftware design that draws on traditional formal methods but exploits automatedtools to find flaws as early as possible. This approach--which Jackson calls"lightweight formal meth...

Read more

Community Reviews

4.0
based on 4 reviews

Content Warnings

This book doesn't have any content warnings yet!

If you're the author of this book and want to add author-approved content warnings, please email us at support@thestorygraph.com to request the content warning form.

Accept and close

By using The StoryGraph, you agree to our use of cookies.
We use a small number of cookies to provide you with a great experience.

Find out more