000 00862nam a2200289Ia 4500
003 OSt
005 20220912144841.0
006 a|||||r|||| 00| 0
007 ta
008 220909b |||||||| |||| 00| 0 eng d
024 _a74155
037 _cTextual
040 _aCSL
_beng
_cCSL
041 _aeng
082 _aD65,8(B)92AN, M7
100 _aLuckham David C
245 0 _aANNA: A language for annotating ada programs
260 _aBerlin
_bSpringer Verlag
_c1987
300 _a143p.
_ccm.
490 _aLecture notes in computer science; 260
650 _a Computer languages
650 _aComputer programming
700 _a Krieg-Bruckner Bernd
700 _a Von Henke Friedrich W
942 _hD65,8(B)92AN, M7
_cTEXL
_2CC
999 _c17220
_d17220