Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: i
Treffer 496 von 1348172
|
|
| Link zu diesem Datensatz | https://d-nb.info/139102219X |
| Titel | From commutativity to proofs and back again: reduction and verification of concurrent programs |
| Person(en) |
Klumpp, Dominik (Verfasser) Podelski, Andreas (Akademischer Betreuer) Podelski, Andreas Abdulla, Parosh Aziz |
| Organisation(en) | Albert-Ludwigs-Universität Freiburg. Fakultät für Angewandte Wissenschaften (Grad-verleihende Institution) |
| Verlag | Freiburg : Universität |
| Zeitliche Einordnung | Erscheinungsdatum: 2026 |
| Umfang/Format | Online-Ressource (pdf) |
| Hochschulschrift | Dissertation, Universität Freiburg, 2026 |
| Persistent Identifier |
URN: urn:nbn:de:bsz:25-freidok-2772892 DOI: 10.6094/UNIFR/277289 |
| URL | https://freidok.uni-freiburg.de/data/277289 (kostenfrei zugänglich) |
| Sprache(n) | Englisch (eng) |
| Online-Zugriff | Archivobjekt öffnen |
Treffer 496 von 1348172
Administration
