Schwichtenberg, Helmut
(July 1988):
LCF with realizing terms: a framework for the developement and verification of programs.
Ludwig-Maximilians-Universität München
| Item Type: | Lecture |
|---|---|
| Faculties: | Mathematics, Computer Science and Statistics > Mathematics |
| Subjects: | 500 Science > 510 Mathematics |
| Language: | English |
| Item ID: | 4483 |
| Date Deposited: | 20. Jun 2008 06:38 |
| Last Modified: | 29. Apr 2016 08:57 |
Actions (login required)
- View Item
