{"product_id":"9783030112448","title":"Verification, Model Checking, and Abstract Interpretation : 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13-15, 2019, Proceedings (Lecture Notes in Computer Science .11388) (1st ed. 2019. 2019. xvii, 602 S. 1260 SW-Abb., 69 Farbab","description":"","brand":"SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING;","offers":[{"title":"Default Title","offer_id":45552101720143,"sku":"00000_00000_00000_00000","price":1925.0,"currency_code":"TWD","in_stock":false}],"url":"https:\/\/kinokuniya.com.tw\/ja\/products\/9783030112448","provider":"Books Kinokuniya Taiwan","version":"1.0","type":"link"}