{"product_id":"chechik-marsha-tools-and-algorithms-for-the-construction-and-analysis-of-systems-22nd-international-conference-tacas-2016-held-as-part-of-the-european-joint-the-netherlands-april-2-8-2016-proc-9783662496756","title":"Tools and Algorithms for the Construction and Analysis of Systems: 22nd International Conference, TACAS 2016, Held as Part of the European Joint ... The Netherlands, April 2-8, 2016, Proc","description":null,"brand":"Springer","offers":[{"title":"Default Title","offer_id":53756215918934,"sku":null,"price":0.0,"currency_code":"EUR","in_stock":false}],"url":"https:\/\/www.momoxbooks.com\/products\/chechik-marsha-tools-and-algorithms-for-the-construction-and-analysis-of-systems-22nd-international-conference-tacas-2016-held-as-part-of-the-european-joint-the-netherlands-april-2-8-2016-proc-9783662496756","provider":"momoxbooks","version":"1.0","type":"link"}