| 000 | 01659nam a22003617a 4500 | ||
|---|---|---|---|
| 999 |
_c527170 _d527168 |
||
| 001 | 897764 | ||
| 003 | Ge_NSL | ||
| 005 | 20200405202910.0 | ||
| 008 | 200225s1981 de ||||| |||| 00| 0 eng d | ||
| 010 | _a 81005715 | ||
| 020 | _a0387106995 (U.S. : pbk.) | ||
| 040 |
_aDLC _cDLC _dDLC |
||
| 041 | _aeng | ||
| 050 | 0 | 0 |
_aQA76.6 _b.F66 |
| 080 | _a004.42(063) | ||
| 082 | 0 | 0 |
_a001.64/2 _219 |
| 245 | 0 | 0 |
_aFormalization of programming concepts : _binternational colloquium, Peniscola, Spain, April 19-25, 1981 : proceedings / _cedited by J. Díaz and I. Ramos. |
| 260 |
_aBerlin ; _aNew York : _bSpringer-Verlag, _c1981. |
||
| 300 |
_avii, 478 p. : _bill. ; _c25 cm. |
||
| 440 | 0 |
_aLecture notes in computer science ; _v107 _9151425 |
|
| 504 | _aIncludes bibliographies and index. | ||
| 650 | 0 |
_aComputer programming _xCongresses. _91729 |
|
| 653 | _aსაინფორმაციო ტექნოლოგიები | ||
| 653 | _aკომპიუტერული ტექნოლოგიები | ||
| 653 | _aპროგრამირება ელექტრონულ გამოთვლით მანქანებზე | ||
| 653 | _aკომპიუტერული პროგრამირება | ||
| 653 | _aკონგრესები | ||
| 700 | 1 |
_aDíaz, J. _q(Josep), _d1950- _eრედაქტორი _9151426 |
|
| 700 | 1 |
_aRamos, I. _q(Isidro), _d1943- _eრედაქტორი _9151427 |
|
| 711 | 2 |
_aInternational Colloquium on the Formalization of Programming Concepts _d(1981 : _cPeñíscola, Spain) _9151428 |
|
| 906 |
_a7 _bcbc _corignew _d1 _eocip _f19 _gy-gencatlg |
||
| 942 |
_2udc _cBK |
||