| Bauer, Sabine (2019): Decidability of linear tree constraints for resource analysis of object-oriented programs. Dissertation, LMU München: Fakultät für Mathematik, Informatik und Statistik |
Vorschau |
PDF
Bauer_Sabine.pdf 1MB |
DOI: 10.5282/edoc.24526
| Dokumententyp: | Dissertationen (Dissertation, LMU München) |
|---|---|
| Themengebiete: | 000 Allgemeines, Informatik, Informationswissenschaft
000 Allgemeines, Informatik, Informationswissenschaft > 004 Informatik |
| Fakultäten: | Fakultät für Mathematik, Informatik und Statistik |
| Sprache der Hochschulschrift: | Englisch |
| Datum der mündlichen Prüfung: | 24. Mai 2019 |
| 1. Berichterstatter:in: | Beyer, Dirk |
| MD5 Prüfsumme der PDF-Datei: | 77785a56272ce2316abb1f5589c08bb9 |
| Signatur der gedruckten Ausgabe: | 0001/UMC 26520 |
| ID Code: | 24526 |
| Eingestellt am: | 16. Aug. 2019 08:39 |
| Letzte Änderungen: | 23. Oct. 2020 15:17 |
Nur für Administratoren und Editoren: Dokument bearbeiten
