| 000 | 00640nam a2200193Ia 4500 | ||
|---|---|---|---|
| 008 | 180620b2004 xxu||||| |||| 00| 0 eng d | ||
| 020 | _a3540206027 | ||
| 082 | _a005.1 LIU | ||
| 100 | _aLiu, Shaoying | ||
| 245 |
_aFormal Engineering for Industrial Software Development: using the SOFL method _cShaoying Liu |
||
| 260 |
_aBerlin _bSpringer Verlag _c2004 |
||
| 300 | _axxii, 408p. | ||
| 365 | _a.00 | ||
| 650 | _aSoftware Engineering | ||
| 650 | _aObject-oriented programming (Computer science) | ||
| 650 | _aFormal methods (Computer science) | ||
| 650 | _aComputer software -- Development | ||
| 906 | _a2daeb4187f00000100f6d9c313a3f366 | ||
| 999 |
_c59597 _d59597 |
||