000 00445nam a2200169Ia 4500
008 240618s9999||||xx |||||||||||||| ||und||
020 _aNCST
_c88
040 _aMAIN
082 _a510
100 _aNEUHOLD,ERICH J (ED), PAUL,MANFRED (ED)
_933578
245 0 _aFORMAL DESCRIPTION OF PROGRAMMING CONCEPTS
260 _bSV
_c1991
_aBERLIN
300 _b507
440 _aIFIP STATE OF THE ART REPORTS
_933579
500 _aBR-1021
942 _cBK
999 _c40610
_d40610