Umfassende Service-Einschränkungen im Bereich Ausleihe ab 17. März!
  • Verification, Model Checking,...
  • Bestand

Treffer: Verification, Model Checking, and Abstract Interpretation

Titel:
Verification, Model Checking, and Abstract Interpretation : 25th International Conference, VMCAI 2024, London, United Kingdom, January 15–16, 2024, Proceedings, Part II / edited by Rayna Dimitrova, Ori Lahav, Sebastian Wolff
Beteiligt:
Dimitrova, Rayna (Herausgeber); Lahav, Ori (Herausgeber); Wolff, Sebastian (Herausgeber)
Ausgabe:
1st ed. 2024
Veröffent­licht:
Cham : Springer Nature Switzerland, 2024
Vertrieb:
Cham : Springer International Publishing AG
Umfang:
1 Online-Ressource (XVIII, 340 Seiten) : 108 illus., 71 illus. in color.
Format:
E-Book
Sprache:
Englisch
Schriftenreihe/­Mehrbändiges Werk:
Lecture Notes in Computer Science, ISSN 1611-3349 ; 14500
Andere Ausgaben:
Erscheint auch als Druck-Ausgabe: Verification, Model Checking, and Abstract Interpretation. - Cham : Springer Nature Switzerland, 2024. - ISBN 9783031505201
ISBN:
9783031505218 ; 3031505212 ; 978--303150520-1 (Sekundärausgabe) ; 978--303150522-5 (Sekundärausgabe)
DOI:
10.1007/978-3-031-50521-8

Zusatz-Informationen

Zusatz-Funktionen