| 000 | 00673nam a2200229Ia 4500 | ||
|---|---|---|---|
| 003 | OSt | ||
| 005 | 20230313130207.0 | ||
| 008 | 180620b2000 xxu||||| |||| 00| 0 eng d | ||
| 020 | _a079237889X | ||
| 040 | _cJUIT, Solan | ||
| 082 | _a005.1 LUR | ||
| 100 | _aLu, Ruqian | ||
| 245 |
_aDomain Modeling Based Software Engineering: A Formal Approach _cby Ruqian Lu |
||
| 260 |
_aBoston _bKluwer Academic Publishers _c2000 |
||
| 300 | _axvi, 347p. | ||
| 365 | _a.00 | ||
| 505 | _aTable of Contents: Part I: Introduction | ||
| 650 | _aSoftware Engineering | ||
| 650 | _aFormal methods (Computer science) | ||
| 906 | _a2daa47977f00000100c7d98e6b55ee87 | ||
| 942 |
_2ddc _cRB |
||
| 999 |
_c10096 _d10096 |
||