| 000 | 00713nam a22002177a 4500 | ||
|---|---|---|---|
| 005 | 20241120161221.0 | ||
| 008 | 241120b ||||| |||| 00| 0 eng d | ||
| 040 | _cAIMIT LIBRARY | ||
| 082 |
_a005.368 _bBJOD |
||
| 100 |
_aBjorner, D. _9185910 |
||
| 245 |
_aSoftware Engineering 3: _bDomains requirements and software design / _cBy D. Bjorner. |
||
| 250 | _a1st ed. | ||
| 260 |
_aNew Delhi : _bSpringer Pvt Ltd., _c2007. |
||
| 300 |
_axxx,766 p.; _bHB _c24.5 cm. |
||
| 650 | _2Triptych paradigm | ||
| 650 |
_aConceptual framework _9185911 |
||
| 650 |
_aDescriptions _9185912 |
||
| 650 | _2Defining and on definitions | ||
| 650 |
_aJackson description principles _9185913 |
||
| 942 |
_2ddc _cBK _e1 _k005.368 BJOD |
||
| 999 |
_c231949 _d231949 |
||