000 00384nam a2200133Ia 4500
008 190711s9999 xx 000 0 und d
020 _a3540206027
082 _a621.3819642 L783
100 _aLIU,S
245 0 _aFORMAL ENGINEERING FOR INDUSTRIAL SOFTWARE DEVELOPMENT: USING THE SOFL METHOD
260 _aBERLIN
_bSpringer
_c2004
300 _axxii+408P., 24X16Cms
942 _cBK
_2DDC
999 _c31113
_d31113