Software Abstractions: Logic, Language, and Analysis by Daniel Jackson, Paperback, 9780262528900 | Buy online at The Nile
Software Abstractions: Logic, Language, and Analysis by Daniel Jackson - ISBN: 9780262528900
Paperback
An approach to software design that introduces a fully automated analysis giving designers immediate feedback, now featuring the latest version of the Alloy language.

Software Abstractions: Logic, Language, and Analysis

Logic, Language, and Analysis

By:
Series:

$70.85

  • Paperback

    376 pages

  • Release Date

    12 February 2016

Check Delivery Options

Summary

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 design that draws on traditional formal methods but exploits automated tools to find flaws as early as possible. This approach-which Jackson calls “lightweight formal methods” or “agile modeling”-takes from formal specification the idea of a preci…

Book Details

ISBN-13:9780262528900
ISBN-10:0262528908
Author:Daniel Jackson
Publisher:Mit Press
Imprint:MIT Press
Format:Paperback
Number of Pages:376
Edition:2nd
Release Date:12 February 2016
Weight:499g
Dimensions:20mm x 150mm x 226mm
Series:The MIT Press
Audience Age:18
A-Format
B-Format
Software Abstractions: Logic, Language, and Analysis by Daniel Jackson - ISBN: 9780262528900
150 × 226 mm
C-Format
A4
mm / in
You Can Find This Book In
About The Author

Daniel Jackson

Daniel Jackson is a photographer and Professor of Computer Science at MIT. His images of contemporary laboratories were shown at the MIT Museum in conjunction with a major exhibit of Berenice Abbott’s MIT work in 2012, and other images have appeared in group shows nationwide.

Returns

This item is eligible for free returns within 30 days of delivery. See our returns policy for further details.