Canonical Term Functors and parameterization-by-use for the specification of abstract data types
Saved in:
| Hovedforfatter: | |
|---|---|
| Format: | Bog |
| Sprog: | engelsk |
| Udgivet: |
1983
|
| Tags: |
Ingen Tags, Vær først til at tagge denne postø!
|
| Order eBook: |
|
| Order Book: | Login to order |
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | 3026593 | ||
| 007 | tu | ||
| 041 | |a eng | ||
| 100 | 1 | |a Voss, Alfred | |
| 245 | 1 | 0 | |a Canonical Term Functors and parameterization-by-use for the specification of abstract data types |
| 246 | 3 | |a VOSS, Alfred | |
| 264 | 1 | |c 1983 | |
| 500 | |a VOSS, Alfred: -- Canonical Term Functors and parameterization-by-use for the specification of abstract data types.1983 -- s.BEIERLE, Ch. | ||
| 852 | |c T 20.678/77 | ||
| 999 | |a Verweis |b VOSS, Alfred |c BEIERLE, Ch. | ||