{"product_id":"tools-and-algorithms-for-the-construction-and-analysis-of-systems-24th-international-conference-tacas-2018-held-as-part-of-the-european-joint-confe-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":"\u003cp\u003e • Author(s): Dirk Beyer\u003cbr\u003e • Publisher: Springer\u003cbr\u003e • Publisher Imprint: Springer\u003cbr\u003e • BISAC: Programming - General\u003c\/p\u003e\u003cp\u003e\u003c\/p\u003e\u003cp\u003e\u003cb\u003eFrom the Back Cover\u003c\/b\u003e\u003cbr\u003eThis book is Open Access under a CC BY licence. \u003cbr\u003e\u003c\/p\u003e","brand":"Springer","offers":[{"title":"Paperback","offer_id":45279094210711,"sku":"9783319899596","price":3672.0,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0666\/3471\/1191\/files\/9783319899596.webp?v=1769292671","url":"https:\/\/atlanticbooks.com\/products\/tools-and-algorithms-for-the-construction-and-analysis-of-systems-24th-international-conference-tacas-2018-held-as-part-of-the-european-joint-confe-9783319899596","provider":"Atlantic Books","version":"1.0","type":"link"}