| 000 | 01393cam a2200373 i 4500 | ||
|---|---|---|---|
| 001 | zz2003941656 | ||
| 003 | NUKAT | ||
| 005 | 20251228181636.0 | ||
| 008 | 030204s1975 gw a f f |001 0 eng c | ||
| 020 |
_a3540074155 _qBerlin |
||
| 020 |
_a0387074155 _qNew York |
||
| 035 | _a(OCoLC)1413039082 | ||
| 040 |
_aTOR U/MIEME _cTOR U/MIEME _dTOR U/AP _dWA 72/OMK _dTOR U/WS _dKR 93/BJs |
||
| 100 | 1 |
_aGreibach, Sheila A. _d(1939- ). _9114544 |
|
| 245 | 1 | 0 |
_aTheory of program structures : _bschemes, semantics, verification / _cSheila A. Greibach. |
| 260 |
_aBerlin [etc.] : _bSpringer-Verlag, _c1975. |
||
| 300 |
_a379 s. (pag. varia) : _bil. ; _c25 cm. |
||
| 490 | 1 |
_aLecture Notes in Computer Science ; _v36 |
|
| 504 | _aBibliogr. s. B-1-B-4. | ||
| 504 | _aIndeks. | ||
| 530 | _aDostępne również w formie elektronicznej. | ||
| 650 | 7 |
_aKomputery _xprogramowanie. _2kaba _97982 |
|
| 650 | 7 |
_aOprogramowanie. _2kaba _91526 |
|
| 710 | 2 |
_aSpringer-Verlag (Berlin). _4pbl _997110 |
|
| 830 | 0 |
_aLecture Notes in Computer Science _x0302-9743 _v36 _924125 |
|
| 856 | 4 | 1 |
_uhttps://www.infona.pl/resource/isbn/9783540074151 _zLicencja krajowa |
| 920 | _qBerlin | ||
| 920 | _qNew York | ||
| 999 |
_c86904 _d86904 |
||