{"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":52362085892407,"sku":"00000_00000_00000_00000","price":297.93,"currency_code":"MYR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0962\/3548\/7543\/files\/9783642198342-1.jpg?v=1783272874","url":"https:\/\/kinokuniya.com.my\/products\/9783642198342","provider":"Books Kinokuniya Malaysia","version":"1.0","type":"link"}