Software Abstractions: Logic, Language, and Analysis

byDaniel Jackson

Kobo ebook | September 21, 2012

Software Abstractions: Logic, Language, and Analysis by Daniel Jackson
$42.09 online 
$52.54 list price save 19%
Prices and offers may vary in store

Available for download

Not available in stores

about

A new approach to software verification introduces Alloy, a language that captures the essence of software abstraction with an analysis that is fully automated.
Title:Software Abstractions: Logic, Language, and AnalysisFormat:Kobo ebookPublished:September 21, 2012Publisher:MIT PressLanguage:English

The following ISBNs are associated with this title:

ISBN - 10:0262260840

ISBN - 13:9780262260848

Appropriate for ages: All ages

Look for similar items by category: