Software Abstractions: Logic, Language, and Analysis / Edition 2

Software Abstractions: Logic, Language, and Analysis / Edition 2

by Daniel Jackson
     
 

View All Available Formats & Editions

ISBN-10: 0262017156

ISBN-13: 9780262017152

Pub. Date: 11/30/2011

Publisher: MIT Press

A new approach to software verification introduces Alloy, a language that captures the essence of software abstraction with an analysis that is fully automated.

Overview

A new approach to software verification introduces Alloy, a language that captures the essence of software abstraction with an analysis that is fully automated.

Product Details

ISBN-13:
9780262017152
Publisher:
MIT Press
Publication date:
11/30/2011
Edition description:
revised edition
Pages:
376
Sales rank:
828,904
Product dimensions:
6.20(w) x 9.10(h) x 0.90(d)
Age Range:
18 Years

Customer Reviews

Average Review:

Write a Review

and post it to your social network

     

Most Helpful Customer Reviews

See all customer reviews >