000 00658nam a2200193Ia 4500
008 131122s9999 xx 000 0 und d
020 _a0-444-86619-1
040 _aISI KOLKATA
041 _aEnglish
082 _a5.1
_bIn61D
100 _aBjrner Dines
110 _aIFIP Working Conference on Formal Description of Programming Concepts( 2nd : 1982 : FRG )
111 _aIFIP Working Conference on Formal Description of Programming Concepts 2nd
_c, FRG
_d1982
245 _aFormal description of programming concepts : proceedings
260 _aAmsterdam
_bNorth Holland
_c1983
300 _axii,455p
650 _aComputer programming
942 _cBK
999 _c107454
_d107454