Search Images Maps Play YouTube News Gmail Drive More »
Sign in
Books Books 1 - 5 of about 5 editions of Software Abstractions: Logic, Language, and Analysis.

Software Abstractions: Logic, Language and Analysis

Daniel Jackson - Computers - 2006 - 350 pages
A new approach to software verification introduces Alloy, a language that captures the essence of software abstraction with an analysis that is fully automated.
Snippet view - About this book

  1. My library
  2. Help
  3. Advanced Book Search