Computer Aided Verification 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part I

Weitere Versionen (3)
Gespeichert in:
Hauptverfasser:
Piskac, Ruzica (HerausgeberIn), Rakamarić, Zvonimir (HerausgeberIn)
Format:
Elektronisch E-Book
Sprache:
Englisch
Veröffentlicht:
Cham Springer Nature Switzerland Imprint: Springer 2025
Ausgabe:
1st ed. 2025
Umfang:
1 Online-Ressource (XXVI, 416 p. 121 illus., 77 illus. in color)
text file PDF
ISBN:
9783031986680
ISSN:
1611-3349
DOI:
10.1007/978-3-031-98668-0
Schlagworte:
Artificial intelligence
Algorithms
Software engineering
Bezugswerke:
Links: