{"product_id":"9783662570654","title":"Decision Procedures: An Algorithmic Point of View","description":"Decision Procedures: An Algorithmic Point of View - Daniel Kroening","brand":"INGRAM","offers":[{"title":"Paperback","offer_id":42998581068007,"sku":"9783662570654","price":64.99,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0614\/6942\/5895\/products\/9783662570654.jpg?v=1790151527","url":"https:\/\/shop.tertulia.com\/products\/9783662570654","provider":"Tertulia","version":"1.0","type":"link"}