{"product_id":"9783031787089","title":"Automated Technology for Verification and Analysis : 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part I (Lecture Notes in Computer Science 15054) (2025. xx, 304 S. XX, 304 p. 64 illus., 39 illus. in color. 235","description":"","brand":"SPRINGER, BERLIN; SPRINGER NATURE SWITZERLAND; SPRING","offers":[{"title":"Default Title","offer_id":52436416233783,"sku":"00000_00000_00000_00000","price":758.46,"currency_code":"MYR","in_stock":true}],"url":"https:\/\/kinokuniya.com.my\/products\/9783031787089","provider":"Books Kinokuniya Malaysia","version":"1.0","type":"link"}