| 000 | 00500nam a2200169 a 4500 | ||
|---|---|---|---|
| 005 | 20151026130440.0 | ||
| 008 | 960221s1955 dcuabcdjdbkoqu001 0deng d | ||
| 100 |
_aNeuhold, E J _eed.by |
||
| 245 | _aFormal models in programming | ||
| 260 |
_aAmsterdam _bNorth-Holland Publishing Company _c1985 |
||
| 300 | _axix, 425 p. | ||
| 500 | _a | ||
| 653 |
_aComputer programming _aComputer software _aComputer science _aFormal models in programming |
||
| 700 | _aChroust, G | ||
| 942 | _cBK | ||
| 003 | ViArRB | ||
| 999 |
_c5587 _d5587 |
||