ISBN is

9780262101141 / 0262101149

Software Abstractions: Logic, Language, and Analysis

by

Publisher:The MIT Press

Edition:Hardcover

Language:English

Prices INCLUDE standard shipping to United States
Show prices without shipping
Change shipping destination/currency
Shipping prices may be approximate. Please verify cost before checkout.

About the book:

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

Search under way...

Search complete.

Click on the price to find out more about a book.

New books: 1 - 25 of 62

   

Used books: 1 - 25 of 80