{"product_id":"9780262260848","title":"Software Abstractions: Logic, Language, and Analysis","description":"A new approach to software verification introduces Alloy, a language that captures the essence of software abstraction with an analysis that is fully automated.","brand":"MIT Press","offers":[{"title":"Default Title","offer_id":47113614786800,"sku":"9780262260848","price":39.99,"currency_code":"USD","in_stock":true}],"url":"https:\/\/shop-qa.barnesandnoble.com\/products\/9780262260848","provider":"Barnes \u0026 Noble (DEV)","version":"1.0","type":"link"}