{"product_id":"automated-technology-for-verification-and-analysis-von-undefined-9","title":"Automated Technology for Verification and Analysis","description":"\n                                \n                \u003cp\u003eThe two-volume set 15054-15055 constitutes the refereed proceedings of the 22nd International Symposium on Automated Technology for Verification and Analysis, ATVA 2024, held in Kyoto, Japan, from October 21 - 25, 2024.\u003c\/p\u003e\n                                \n                \n                \u003cp\u003eThe 24 full papers presented in this volume were carefully reviewed and selected from 73 submissions. The topics presented in these volumes are organized in the following topical sections:\u003c\/p\u003e\n                                \n                \n                \u003cp\u003ePart I: Invited Keynote and Tutorial Papers; Automata and Games; Concurrent and Distributed Systems; Learning for Verification and Synthesis.\u003c\/p\u003e\n                                \n                \n                \u003cp\u003ePart II: Synthesis and Runtime Verification; Software Verification and Programming Language Semantics; Automated Reasoning and Verification. \u003c\/p\u003e\n                            \n            \u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783031787492\"\u003e\u003ch3\u003e22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21–25, 2024, Proceedings, Part II\u003c\/h3\u003e\u003c\/div\u003e","brand":"Autorenwelt Shop","offers":[{"title":"Softcover - 9783031787492","offer_id":54149821825349,"sku":"9783031787492","price":160.49,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/7c114404-34ba-441b-b9d6-6e87e199abb9.jpg?v=1773552448","url":"https:\/\/shop.autorenwelt.de\/en\/products\/automated-technology-for-verification-and-analysis-von-undefined-9","provider":"Autorenwelt Shop","version":"1.0","type":"link"}