1
/
of
0
MIT Press
Software Abstractions: Logic, Language, and Analysis
Software Abstractions: Logic, Language, and Analysis
Regular price
$39.99 USD
Regular price
Sale price
$39.99 USD
Shipping calculated at checkout.
Quantity
Couldn't load pickup availability
A new approach to software verification introduces Alloy, a language that captures the essence of software abstraction with an analysis that is fully automated.