000 00482nam a2200193Ia 4500
008 221105s9999 xx 000 0 und d
020 _a1852330538
041 _aENGLISH
082 _a005.133
082 _bSEK
100 _aSEKERINSKI E; SERE K
245 0 _aPROGRAM DEVELOPMENT BY REFINEMENT CASE STUDIES USING THE B METHOD
260 _bSPRINGER INC
260 _c1998
300 _a334
650 _aPROGRAMMING LANGUAGE
650 _bPROGRAMING LANGUAGE
942 _cBK
999 _c7731
_d7731