000 00411nam a2200157Ia 4500
008 240618s9999||||xx |||||||||||||| ||und||
020 _aNCST
040 _aMAIN
082 _a724
100 _aLEEUWEN,JAN VAN (ED)
_934533
245 0 _aHANDBOOK OF THEORETICAL COMPUTER SCIENCE,VOL.B: FORMAL MODELS AND SEMANTICS
260 _bELSEV
_c1990
_aMASSACHUSETTS
300 _b1273
500 _aSC-48
942 _cBK
999 _c41498
_d41498