Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: cod="rb"
Treffer 47109 von 47830
|
|
| Link zu diesem Datensatz | https://d-nb.info/1049595742 |
| Titel | Gleichheitsanalyse von Ausdrücken in nicht-strikten funktionalen Programmiersprachen unter Verwendung der Kontextanalyse / Matthias Mann. Gutachter: Manfred Schmidt-Schauß |
| Person(en) |
Mann, Matthias (Verfasser) Schmidt-Schauß, Manfred (Akademischer Betreuer) |
| Verlag | Frankfurt am Main : Univ.-Bibliothek Frankfurt am Main |
| Zeitliche Einordnung | Erscheinungsdatum: 1999 |
| Umfang/Format | Online-Ressource |
| Hochschulschrift | Frankfurt am Main, Johann Wolfgang Goethe-Univ., Diplomarbeit, 1999 |
| Persistent Identifier | URN: urn:nbn:de:hebis:30-25509 |
| URL | http://publikationen.ub.uni-frankfurt.de/frontdoor/index/index/docId/2853 (Verlag) (kostenfrei zugänglich) |
| Sprache(n) | Deutsch (ger) |
| Schlagwörter | Lambda-Kalkül ; Programmverifikation |
| Sachgruppe(n) | 510 Mathematik |
| Online-Zugriff | Archivobjekt öffnen |
Treffer 47109 von 47830
Administration
