| 000 | 00631cam a2200181 i 4500 | ||
|---|---|---|---|
| 008 | 750918s1975 wb a b 001 0 eng | ||
| 020 | _a0387074155 | ||
| 080 |
_a681.3.066 _bGRE |
||
| 100 | 1 |
_aGreibach, Sheila, _92915 |
|
| 245 | 1 | 0 |
_aTheory of program structures : _bschemes, semantics, verification / _cSheila A. Greibach. |
| 260 |
_aBerlin ; _aNew York : _bSpringer-Verlag, _c1975. |
||
| 300 |
_a389 p. in various pagings : _bill. ; |
||
| 490 | _aLecture notes in computer science;36 | ||
| 650 | 0 |
_aComputer programming. _92772 |
|
| 650 | 0 |
_aRecursive programming. _92916 |
|
| 650 | 0 |
_aComputer programs. _92879 |
|
| 942 | _cBK | ||
| 999 |
_c162125 _d162125 |
||