000 00396nam a2200133Ia 4500
008 190711s9999 xx 000 0 und d
020 _a1402080514
082 _a621.38195 G896
100 _aGUPTA, R. &OTHERS Eds.
245 0 _aFORMAL METHODS AND MODELS FOR SYSTEM DESIGN :SYSTEM LEVEL PERSPECTIVE
260 _aBoston
_bKluwer Academic
_c2004
300 _aix+372p.,25X16Cms.
942 _cBK
_2DDC
999 _c31315
_d31315