Buchumschlag

Computer Aided Verification 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part I /

Weitere Versionen anzeigen (2)

This open access two-volume set LNCS 13371 and 13372 constitutes the refereed proceedings of the 34rd International Conference on Computer Aided Verification, CAV 2022, which was held in Haifa, Israel, in August 2022. The 40 full papers presented together with 9 tool papers and 2 case studies were c...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Körperschaft: SpringerLink (Online service)
Weitere Verfasser: Shoham, Sharon (Herausgegeben von), Vizel, Yakir (Herausgegeben von)
Format: Elektronisch E-Book
Sprache:Englisch
Veröffentlicht: Cham : Springer International Publishing : Imprint: Springer, 2022.
Ausgabe:1st ed. 2022.
Schriftenreihe:Lecture Notes in Computer Science, 13371
Schlagworte:
Software engineering.
Artificial intelligence.
Algorithms.
Computer engineering.
Computer networks .
Software Engineering.
Artificial Intelligence.
Design and Analysis of Algorithms.
Computer Engineering and Networks.
Online-Zugang:Link to Metadata
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!

Online

Link to Metadata

3rd Floor Main Library

Bestandsangaben von 3rd Floor Main Library
Signatur: A1234.567
Exemplar 1 Verfügbar

Ähnliche Einträge