{"product_id":"9780321143068","title":"Specifying Systems : The TLA+ Language and Tools for Hardware and Software Engineers","description":"\u003cp\u003eTLA+ represents an effective methodology for visualizing and quantifying algorithmic complexity in a way that is meaningful to engineers.\u003c\/p\u003e","brand":"Addison-Wesley Educational Publishers Inc","offers":[{"title":"Default Title","offer_id":42729490284619,"sku":"00000_00000_00000_00000","price":1604.04,"currency_code":"THB","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0641\/0023\/7387\/files\/9780321143068-1.jpg?v=1783331364","url":"https:\/\/kinokuniya.co.th\/products\/9780321143068","provider":"Books Kinokuniya Thailand","version":"1.0","type":"link"}