| 000 | 00594nam a22002057a 4500 | ||
|---|---|---|---|
| 003 | OSt | ||
| 005 | 20220107122813.0 | ||
| 008 | 160517b xxu||||| |||| 00| 0 eng d | ||
| 020 | _a9780521110648 | ||
| 040 | _cIIITMK | ||
| 082 | _a004.21 VAN/I | ||
| 100 |
_a Van Hee, K. M. _99539 |
||
| 245 |
_aInformation systems engineering: _bA formal approach _cK. M. Van Hee |
||
| 260 |
_aCambridge, _bCambridge University Press, _c2009 |
||
| 300 | _axiii,421p. | ||
| 650 |
_aCOMPUTER SCIENCE _99540 |
||
| 650 |
_aSYSTEMS ENGINEERING _99541 |
||
| 650 |
_aINFORMATION TECHNOLOGY _99542 |
||
| 942 |
_2ddc _cBK |
||
| 999 |
_c5179 _d5179 |
||