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

Gespeichert in:
Hauptverfasser:
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
Umfang:
1 Online-Ressource (XX, 304 p. 64 illus., 39 illus. in color)
text file PDF
ISBN:
9783031787096
ISSN:
1611-3349
DOI:
10.1007/978-3-031-78709-6
Schlagworte:
Software engineering
Computer engineering
Computer networks 
Artificial intelligence
Computers
Computer science
Bezugswerke:
Links: