{"product_id":"tools-and-algorithms-for-the-construction-and-analysis-of-systems-25th-international-conference-tacas-2019-held-as-part-of-the-european-joint-confe-9783030174644","title":"Tools and Algorithms for the Construction and Analysis of Systems: 25th International Conference, Tacas 2019, Held as Part of the European Joint Confe","description":"\u003cp\u003e • Author(s): Tomás Vojnar\u003cbr\u003e • Publisher: Springer\u003cbr\u003e • Publisher Imprint: Springer\u003cbr\u003e • BISAC: Programming - Algorithms\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.\u003c\/p\u003e","brand":"Springer","offers":[{"title":"Paperback","offer_id":45279094440087,"sku":"9783030174644","price":3672.0,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0666\/3471\/1191\/files\/9783030174644.webp?v=1769292670","url":"https:\/\/atlanticbooks.com\/products\/tools-and-algorithms-for-the-construction-and-analysis-of-systems-25th-international-conference-tacas-2019-held-as-part-of-the-european-joint-confe-9783030174644","provider":"Atlantic Books","version":"1.0","type":"link"}