| 000 | 00626 a2200205 4500 | ||
|---|---|---|---|
| 010 | _a75031780 | ||
| 020 | _a0387074155 | ||
| 035 | _a | ||
| 090 |
_c14699 _d14699 |
||
| 100 | 1 | 0 | _aGreibach, Sheila |
| 245 | 1 | 0 |
_aTheory of program structures _bschemes, semantics, verification _cSheila A. Greibach |
| 260 | 0 |
_aBerlin _aNew York _bSpringer-Verlag _c1975 |
|
| 300 |
_a389 p. in various pagings _bill _c25 cm |
||
| 440 | 0 |
_aLecture notes in computer science _v36 |
|
| 500 | _aContine bibliografie | ||
| 650 | 0 | _aComputer programming | |
| 650 | 0 | _aRecursive programming | |
| 650 | 0 | _aComputer programs | |
| 942 |
_aIMAR _cCART _sSN |
||
| 999 |
_c14459 _d14459 |
||