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

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

by Daniel Jackson
     
 

ISBN-10: 0262101149

ISBN-13: 9780262101141

Pub. Date: 04/07/2006

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:
9780262101141
Publisher:
MIT Press
Publication date:
04/07/2006
Edition description:
New Edition
Pages:
366
Product dimensions:
6.00(w) x 9.00(h) x 0.75(d)

Customer Reviews

Average Review:

Write a Review

and post it to your social network

     

Most Helpful Customer Reviews

See all customer reviews >