000 00283nam a2200109Ia 4500
999 _c53880
_d53880
020 _a9788181287854
100 _aDines Bjorner
245 _aSoftware Engineering - 2: Specification of Systems and Languages
260 _c2007
_bSPRINGER
_aNew Delhi
300 _axxiv+777
942 _cREF