{"product_id":"automated-technology-for-verification-and-analysis-22nd-international-symposium-atva-2024-kyoto-japan-october-2125-2024-proceedings-part-ii-9783031787492","title":"Automated Technology for Verification and Analysis: 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21–25, 2024, Proceedings, Part II","description":"\u003cp\u003e\u003cstrong\u003eFormat\u003c\/strong\u003e: Paperback \/ softback\u003cbr\u003e\u003cstrong\u003eLength\u003c\/strong\u003e: 276 pages\u003cbr\u003e\u003cstrong\u003ePublication date\u003c\/strong\u003e: 12 February 2025\u003cbr\u003e\u003cstrong\u003ePublisher\u003c\/strong\u003e: Springer International Publishing AG\u003cbr\u003e\u003c\/p\u003e\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.   The 24 full papers presented in this volume were carefully reviewed and selected from 73 submissions.\u003c\/p\u003e\u003cp\u003e\u003cbr\u003e\u003cstrong\u003eDimension\u003c\/strong\u003e: 235 x 155 (mm)\u003cbr\u003e\u003cstrong\u003eISBN-13\u003c\/strong\u003e: 9783031787492\u003c\/p\u003e","brand":"Shulph Ink","offers":[{"title":"Paperback \/ softback","offer_id":47458725462266,"sku":"9783031787492","price":108.28,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0522\/4297\/2845\/files\/1751062699582_book.jpg?v=1751096123","url":"https:\/\/shulphink.com\/products\/automated-technology-for-verification-and-analysis-22nd-international-symposium-atva-2024-kyoto-japan-october-2125-2024-proceedings-part-ii-9783031787492","provider":"Shulph Ink","version":"1.0","type":"link"}