Automated Technology for Verification and Analysis 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21–25, 2024, Proceedings, Part I /

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...

Ful tanımlama

Detaylı Bibliyografya

Müşterek Yazar:	SpringerLink (Online service)
Diğer Yazarlar:	Akshay, S. (Editör), Niemetz, Aina (Editör), Sankaranarayanan, Sriram (Editör)
Materyal Türü:	Elektronik Ekitap
Dil:	İngilizce
Baskı/Yayın Bilgisi:	Cham : Springer Nature Switzerland : Imprint: Springer, 2025.
Edisyon:	1st ed. 2025.
Seri Bilgileri:	Lecture Notes in Computer Science, 15054
Konular:	Software engineering. Computer engineering. Computer networks . Artificial intelligence. Computers. Computer science. Software Engineering. Computer Engineering and Networks. Artificial Intelligence. Computer Hardware. Theory of Computation.
Online Erişim:	https://doi.org/10.1007/978-3-031-78709-6
Etiketler:	Etiketle Etiket eklenmemiş, İlk siz ekleyin!