{"product_id":"9783662436516","title":"Abstract State Machines, Alloy, B, TLA, VDM, and Z : 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings (Lecture Notes in Computer Science \/ Theoretical Computer Science and General Issues .8477) (2014. 2014. xvi, 336 S.","description":"","brand":"SPRINGER, BERLIN; SPRINGER BERLIN HEIDELBERG; SPRINGE","offers":[{"title":"Default Title","offer_id":48780722274539,"sku":"00000_00000_00000_00000","price":100.69,"currency_code":"SGD","in_stock":true}],"url":"https:\/\/kinokuniya.com.sg\/ja\/products\/9783662436516","provider":"Books Kinokuniya Singapore","version":"1.0","type":"link"}