Formalization of programming concepts: International Colloquium Peniscola, Spain, April 19-25, 1981. Proceedings / edited by J. Diaz, I. Ramos
Сохранено в:
| Вид документа: | |
|---|---|
| Опубликовано: | Berlin , Heidelberg , New York : Springer-Verlag , 1981 |
| Физические характеристики: |
478 c.
|
| Язык: | Английский |
| Серия: |
Lecture Notes in Computer Science
107 |
| 00000cam0a22000003ib4500 | |||
| 001 | BY-NLB-br0001958617 | ||
| 005 | 20241211160333.0 | ||
| 100 | # | # | $a 20241211d1981 |||||bel|50 ba |
| 101 | 0 | # | $a eng |
| 102 | # | # | $a DE |
| 200 | 1 | # | $a Formalization of programming concepts $e International Colloquium Peniscola, Spain, April 19-25, 1981. Proceedings $f edited by J. Diaz, I. Ramos |
| 210 | # | # | $a Berlin , Heidelberg , New York $c Springer-Verlag $d 1981 |
| 215 | # | # | $a 478 c. |
| 225 | 1 | # | $a Lecture Notes in Computer Science $f edited by G.Goos, J. Hartmanis $v 107 |
| 300 | # | # | $a Библиогр. в конце статей |
| 801 | # | 0 | $a BY $b BY-HM0000 $c 20220820 $g RCR |