| 000 | 00319nam a2200109Ia 4500 | ||
|---|---|---|---|
| 999 |
_c9349 _d9349 |
||
| 020 | _a3540108866 | ||
| 100 | _aWolfgang Polak | ||
| 245 | _aLecture Notes in Computer Science: 124 Compiler Specification and Verification | ||
| 260 |
_c1981 _bSPRINGER - VERLAG BERLIN HEIDELBERG _aNew York |
||
| 300 | _axiii+269 | ||
| 942 | _cREF | ||