Drucken
Versenden
Speichern
Permalink
LesezeichendiensteNichts oder nicht das Richtige gefunden?
- Frage an die Bibliothek
- Fernleih-Formular aufrufen (leeres Formular, Anmeldung erforderlich)
Katalog der UB Augsburg (1/1)
Verification, model checking, and abstract interpretation
25th international conference, VMCAI 2024, London, United Kingdom, January 15–16, 2024, proceedings, part II Autor/Mitarbeiter: Dimitrova, Rayna , Lahav, Ori , Wolff, Sebastian
Verlagsort, Verlag, Jahr: Cham, Switzerland, Springer, [2024]
Umfang: 1 Online-Ressource (xviii, 340 Seiten)
ISBN: 9783031505218
Schlagwörter: Programmanalyse , Programmverifikation , Model Checking , Abstrakte Interpretation , Formale Methode
Inhaltstyp/Datenträger: Konferenzschrift
Reihe/Zeitschrift : Lecture notes in computer science : Alle Einzelbände
| Autor/Mitarbeiter: | Dimitrova, Rayna |
|---|---|
| Autor/Mitarbeiter: | Lahav, Ori |
| Autor/Mitarbeiter: | Wolff, Sebastian |
| Titel: | Verification, model checking, and abstract interpretation |
| Titelzusatz: | 25th international conference, VMCAI 2024, London, United Kingdom, January 15–16, 2024, proceedings, part II |
| Erläuterung: | Verlag |
| von: | Rayna Dimitrova, Ori Lahav, Sebastian Wolff, editors |
| Institution: | VMCAI (2024, London) |
| Verlagsort: | Cham, Switzerland |
| Verlag: | Springer |
| Jahr: | [2024] |
| Umfang: | 1 Online-Ressource (xviii, 340 Seiten) |
| Enthält: |
108 Illustrationen, 71 in Farbe |
| Reihe: | Lecture notes in computer science |
| Band: | 14500 |
| Volltext E-Book: | https://doi.org/10.1007/978-3-031-50521-8 |
| Andere Ausgabe: | Erscheint auch als |
| Andere Ausgabe: | Erscheint auch als |
| ...: | Druck-Ausgabe |
| ...: | Druck-Ausgabe |
| mit der ISBN: | 978-3-031-50520-1 |
| mit der ISBN: | 978-3-031-50522-5 |
| ISBN: | 9783031505218 |
| Schlagwörter |
Programmanalyse
;
Programmverifikation
;
Model Checking
;
Abstrakte Interpretation
;
Formale Methode
|
| Inhaltstyp/Datenträger: | Konferenzschrift |
| _Zeit / Datum: | 2024 |
| _Veranstaltungsort: | London |
| Subject: | Computer science Computer science / Mathematics Logic programming Computers, Special purpose Software engineering Microprogramming |
| Hauptsprache: | Englisch |
| Land: | |||a|| |o|||||||| |
| Volltext : | https://doi.org/10.1007/978-3-031-50521-8 |
| B3Kat-ID: | BV049492220 |
