000 00799nam a2200289Ia 4500
003 OSt
005 20220912145048.0
006 a|||||r|||| 00| 0
007 ta
008 220909b |||||||| |||| 00| 0 eng d
024 _a67832
037 _cTextual
040 _aCSL
_beng
_cCSL
041 _aeng
082 _aD65,8(B)92, M5.1
100 _aBauer F L
245 0 _cby Bauer F L; Berghammer R; Broy M
_aMunich project CIP
260 _aBerlin
_bSpringer-verlag
_c1985
300 _axi,275p.
_ccm.
490 _aLecture notes in computer science; 18
500 _aAppendix 235-275p.; Bibliography 228-234p.
650 _aComputer science
700 _a Berghammer R
700 _a Broy M
942 _hD65,8(B)92, M5.1
_cTEXL
_2CC
999 _c22167
_d22167