{"product_id":"9783031131875","title":"Computer Aided Verification : 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part II (Lecture Notes in Computer Science 13372) (1st ed. 2022. 2022. xix, 549 S. XIX, 549 p. 160 illus., 122 illus. in)","description":"","brand":"SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING;","offers":[{"title":"Default Title","offer_id":48841432400107,"sku":"00000_00000_00000_00000","price":91.54,"currency_code":"SGD","in_stock":true}],"url":"https:\/\/kinokuniya.com.sg\/products\/9783031131875","provider":"Books Kinokuniya Singapore","version":"1.0","type":"link"}