000 00627nam a2200205Ia 4500
008 191130s1997##################000#0#eng##
020 _a9783540636137
022 _a97031867
040 _aACL
_cACL
082 _a005.1 HUB
100 _aHussmann, Heinrich
245 _aFormal foundations for software engineering methods
_cHeinrich Hussmann
260 _aBerlin
_bSpringer
_cc1997
300 _ax, 286 p. : ill. ; 24 cm
500 _aIncludes bibliographical references (p. [271]-277) and index
650 _aSoftware engineering
990 _a1f21359cac10000c3f8c8a4f4a175b1f
991 _a20663
999 _c186953
_d186953