{"product_id":"9783319899596","title":"Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, Tacas 2018, Held as Part of the European Joint Confe","description":"Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, Tacas 2018, Held as Part of the European Joint Confe - Dirk Beyer","brand":"INGRAM","offers":[{"title":"Paperback","offer_id":42975148114151,"sku":"9783319899596","price":59.99,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0614\/6942\/5895\/products\/9783319899596.webp?v=1787538203","url":"https:\/\/shop.tertulia.com\/products\/9783319899596","provider":"Tertulia","version":"1.0","type":"link"}