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

Popoln opis

Bibliografske podrobnosti

Korporativna značnica:	SpringerLink (Online service)
Drugi avtorji:	Akshay, S. (Editor), Niemetz, Aina (Editor), Sankaranarayanan, Sriram (Editor)
Format:	Elektronski eKnjiga
Jezik:	angleščina
Izdano:	Cham : Springer Nature Switzerland : Imprint: Springer, 2025.
Izdaja:	1st ed. 2025.
Serija:	Lecture Notes in Computer Science, 15054
Teme:	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 dostop:	https://doi.org/10.1007/978-3-031-78709-6
Oznake:	Označite Brez oznak, prvi označite!