{"product_id":"9783031453311","title":"Automated Technology for Verification and Analysis : 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part II (Lecture Notes in Computer Science 14216) (1st ed. 2023. 2023. xii, 325 S. XII, 325 p. 94 illus. 235 mm)","description":"\u003cp\u003eThis book constitutes the refereed proceedings of the 21st International Symposium on Automated Technology for Verification and Analysis, ATVA 2023, held in Singapore, in October 2023.\u003c\/p\u003e","brand":"SPRINGER, BERLIN; SPRINGER NATURE SWITZERLAND; SPRING","offers":[{"title":"Default Title","offer_id":45652501266511,"sku":"00000_00000_00000_00000","price":2975.0,"currency_code":"TWD","in_stock":false}],"url":"https:\/\/kinokuniya.com.tw\/products\/9783031453311","provider":"Books Kinokuniya Taiwan","version":"1.0","type":"link"}