Computer aided verification : 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, proceedings

Computer aided verification 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, proceedings Part 1

Gespeichert in:
Bibliographische Detailangaben
Körperschaft: International Conference on Computer-Aided Verification (VerfasserIn)
Weitere Verfasser: Shoham, Sharon (HerausgeberIn), Vizel, Yakir (HerausgeberIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: Cham Springer 2022
Schriftenreihe:Lecture notes in computer science 13371
Schlagworte:
Konferenzschrift > Formale Methode > Neuronales Netz > Model Checking
Online Zugang:Inhaltsverzeichnis
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Beschreibung:xix, 555 Seiten
ISBN:9783031131844
978-3-031-13184-4