000 00391nam a2200169Ia 4500
008 181012s9999 xx 000 0 und d
020 _a9788120343207
082 _a005.11 FEL
100 _aFELLEISEN MATTHIAS
245 0 _aSEMANTICS ENGINEERING WITH PLT REDEX
260 _bPHI
260 _c2011
300 _a502 P
365 _b475.00
650 _aCOMPUTER SCIENCE
942 _cBK
999 _c27553
_d27553