000 00507 a2200181 4500
999 _c29747
_d29747
003 WUSLLib
008 200908b ||||| |||| 00| 0 eng d
020 _a3540636137
041 _aEnglish
082 _a004.21
_bHUB
100 _aHubmann, Heinrich
_916576
245 _aFormal foundations for software engineering methods
260 _aNew York:
_bSpringer,
_c1997
300 _ax, 286p.;
_c24cm.
650 _aSystems analysis and design
_916277
650 _aComputer science
_916577
942 _cSR
_2ddc