000 00662nam a2200253Ia 4500
003 OSt
005 20220912152505.0
006 a|||||r|||| 00| 0
007 ta
008 220909b |||||||| |||| 00| 0 eng d
024 _a44548
037 _cTextual
040 _aCSL
_beng
_cCSL
041 _aeng
082 _aD65,8(B)92
100 _aKozen Derter Ed.
245 0 _cKozen Derter Ed.
_aWorkshop on logics of programs/lecture notes in computer science (131)
260 _c1982
300 _ap.
_ccm.
650 _a Computer program language
650 _aComputer science
942 _hD65,8(B)92
_cTEXL
_2CC
999 _c87362
_d87362