{"product_id":"9783030670665","title":"Verification, Model Checking, and Abstract Interpretation : 22nd International Conference, VMCAI 2021, Copenhagen, Denmark, January 17-19, 2021, Proceedings (Lecture Notes in Computer Science 12597) (1st ed. 2021. 2021. xv, 604 S. 104 SW-Abb., 108 Farbabb","description":"","brand":"SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING;","offers":[{"title":"Default Title","offer_id":48827460124907,"sku":"00000_00000_00000_00000","price":183.1,"currency_code":"SGD","in_stock":true}],"url":"https:\/\/kinokuniya.com.sg\/products\/9783030670665","provider":"Books Kinokuniya Singapore","version":"1.0","type":"link"}