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

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

Ausführliche Beschreibung

Bibliographische Detailangaben

Körperschaft:	SpringerLink (Online service)
Weitere Verfasser:	Akshay, S. (HerausgeberIn), Niemetz, Aina (HerausgeberIn), Sankaranarayanan, Sriram (HerausgeberIn)
Format:	Elektronisch E-Book
Sprache:	Englisch
Veröffentlicht:	Cham : Springer Nature Switzerland : Imprint: Springer, 2025.
Ausgabe:	1st ed. 2025.
Schriftenreihe:	Lecture Notes in Computer Science, 15055
Schlagworte:	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-Zugang:	https://doi.org/10.1007/978-3-031-78750-8
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!