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

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 (XXVII, 428 p. 189 illus., 136 illus. in color)
text file PDF
ISBN:
9783031986826
ISSN:
1611-3349
DOI:
10.1007/978-3-031-98682-6
Schlagworte:
Artificial intelligence
Algorithms
Software engineering
Bezugswerke:
Links: