Canonical term functors and parameterization-by-use for the specification of abstract data types
Ch. Beierle ; A. Voß
| Year of publication: |
1983
|
|---|---|
| Authors: | Beierle, Christoph ; Voss, A |
| Publisher: |
Kaiserslautern : Fachbereich Informatik, Univ. |
| Extent: | 28 S. |
|---|---|
| Series: | Interner Bericht / Universität Kaiserslautern, Fachbereich Informatik. - Kaiserslautern. - Vol. 77 |
| Type of publication: | Book / Working Paper |
| Source: |
Persistent link: https://www.econbiz.de/10004024479