000 00362nam a2200157Ia 4500
008 240618s9999||||xx |||||||||||||| ||und||
020 _aNCST
_c114.15
040 _aMAIN
082 _a612
100 _aPOLAK,WOLFGANG
_938474
245 0 _aCOMPILER SPECIFICATION AND VERIFICATION
250 _a1
260 _bSV
_c1981
_aBERLIN
300 _b269
942 _cBK
999 _c45329
_d45329