Automated Technology for Verification and Analysis: 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 2125, 2024, Proceedings, Part-II | Agenda Bookshop Skip to content
Black Friday Sale Now On! | Buy 3 Get 1 Free on all books | Instore & Online.
Black Friday Sale Now On! | Buy 3 Get 1 Free on all books | Instore & Online.
Age Group_Uncategorized
Age Group_Uncategorized
automatic-update
B01=Aina Niemetz
B01=S Akshay
B01=Sriram Sankaranarayanan
Category1=Non-Fiction
Category=UK
Category=UMZ
Category=UYA
Category=UYQ
COP=Switzerland
Delivery_Pre-order
Language_English
PA=Not yet available
Price_€100 and above
PS=Forthcoming
softlaunch

Automated Technology for Verification and Analysis: 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 2125, 2024, Proceedings, Part-II

English

The 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. The topics presented in these volumes are organized in the following topical sections:

Part I: Invited Keynote and Tutorial Papers; Automata and Games; Concurrent and Distributed Systems; Learning for Verification and Synthesis.

Part II: Synthesis and Runtime Verification; Software Verification and Programming Language Semantics; Automated Reasoning and Verification. 

See more
Current price €135.84
Original price €142.99
Save 5%
Age Group_Uncategorizedautomatic-updateB01=Aina NiemetzB01=S AkshayB01=Sriram SankaranarayananCategory1=Non-FictionCategory=UKCategory=UMZCategory=UYACategory=UYQCOP=SwitzerlandDelivery_Pre-orderLanguage_EnglishPA=Not yet availablePrice_€100 and abovePS=Forthcomingsoftlaunch

Will deliver when available. Publication date 04 Jan 2025

Product Details
  • Dimensions: 155 x 235mm
  • Publication Date: 04 Jan 2025
  • Publisher: Springer International Publishing AG
  • Publication City/Country: Switzerland
  • Language: English
  • ISBN13: 9783031787492

Customer Reviews

Be the first to write a review
0%
(0)
0%
(0)
0%
(0)
0%
(0)
0%
(0)
We use cookies to ensure that we give you the best experience on our website. If you continue we'll assume that you are understand this. Learn more
Accept