Automatic Data Dependence Analysis by Deductive Verification
Heydari Tabar, Asmae ; Hähnle, Reiner ; Rümmer, Philipp 2024 Universitäts- und Landesbibliothek
- Link zu diesem Datensatz
-
https://d-nb.info/1338258354
- Titel
-
Automatic Data Dependence Analysis by Deductive Verification
- Art des Inhalts
- Monographie
- Verfassangaben
- Asmae Heydari Tabar ; Reiner Hähnle, Philipp Rümmer
- Autor(en)
-
- Heydari Tabar, Asmae
- Hähnle, Reiner
- Rümmer, Philipp
- Verlag
- Darmstadt : Universitäts- und Landesbibliothek [2024]
- Jahr
- Erscheinungsdatum: 2024
- Umfang/Format
- Online-Ressource
- DOI
- 10.26083/tuprints-00026722
- Online
- https://doi.org/10.26083/tuprints-00026722
- Sprache
- eng
- Schlagwörter
-
- Abweichende Titel
-
- Automatische Datenabhängigkeitsanalyse durch deduktive Verifikation
- Stand
- 11.09.2024 22:51
- Im Katalog seit
- 07.03.2026
Beschreibung vom Verlag
