Founded in 1997, has become a leading book price comparison site:

Find and compare hundreds of millions of new books, used books, rare books and out of print books from over 100,000 booksellers and 60+ websites worldwide.

Software Abstractions:
Logic, Language, and Analysis

by Daniel Jackson

ISBN 0262101149 / 9780262101141 / 0-262-10114-9
Publisher The MIT Press
Language English
Edition Hardcover
Find This Book


Find signed collectible books: 'Software Abstractions: Logic, Language, and Analysis'

Book summary

Software Abstractions A new approach to software verification introduces Alloy, a language that captures the essence of software abstraction with an analysis that is fully automated. Full description [via]