Schwichtenberg, Helmut
(Juli 1988):
LCF with realizing terms: a framework for the developement and verification of programs.
Ludwig-Maximilians-Universität München
| Dokumententyp: | Vorlesung |
|---|---|
| Fakultät: | Mathematik, Informatik und Statistik > Mathematik |
| Themengebiete: | 500 Naturwissenschaften und Mathematik > 510 Mathematik |
| Sprache: | Englisch |
| Dokumenten ID: | 4483 |
| Datum der Veröffentlichung auf Open Access LMU: | 20. Jun. 2008 06:38 |
| Letzte Änderungen: | 29. Apr. 2016 08:57 |
- Dokument bearbeiten
