Canonical Term Functors and parameterization-by-use for the specification of abstract data types
Сохранить в:
| Главный автор: | |
|---|---|
| Формат: | |
| Язык: | английский |
| Опубликовано: |
1983
|
| Метки: |
Нет меток, Требуется 1-ая метка записи!
|
| Order eBook: |
|
| Order Book: | Login to order |
MARC
| LDR | 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. | ||
| 591 | |a description: Canonical Term Functors and parameterizationbyuse for the specification ofabstract data typesd983s.BEIERLE,Ch. |a signature: T 20.67877 |a author: VOSS, Alfred |