{"product_id":"9783642198342","title":"Tools and Algorithms for the Construction and Analysis of Systems : 17th International Conference, TACAS 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Germany, Proceedings \u003cVol. 6605\u003e","description":"\u003cp\u003eXVI, 394 p. 134 illus., 30 illus. in color.\u003c\/p\u003e","brand":"Springer","offers":[{"title":"Default Title","offer_id":49170686640355,"sku":"00000_00000_00000_00000","price":54.99,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0764\/3758\/6147\/files\/9783642198342-1.jpg?v=1788434247","url":"https:\/\/usa.kinokuniya.com\/products\/9783642198342","provider":"Books Kinokuniya USA","version":"1.0","type":"link"}