000 00267nam a2200109Ia 4500
999 _c53879
_d53879
020 _a9788181287847
100 _aDines Bjorner
245 _aSoftware Engineering 1:Abstraction and Modelling
260 _c2007
_bSPRINGER
_aNew York
300 _axxxix+711
942 _cREF