| 000 | 00398nam a2200169Ia 4500 | ||
|---|---|---|---|
| 008 | 201126s9999 xx 000 0 und d | ||
| 041 | _aeng | ||
| 020 | _a9788120343207 | ||
| 082 |
_a005.11 _bFEL |
||
| 100 | _aFELLEISEN, MATTHIAS | ||
| 245 | _aSEMANTICS ENGINEERING WITH PLT REDEX | ||
| 260 |
_bPHI _c2011 |
||
| 300 | _a502 | ||
| 690 | _aFET | ||
| 690 | _aCOMPUTER SCIENCE | ||
| 999 |
_c19840 _d19840 |
||