| 000 | 00396cam a22001337a 4500 | ||
|---|---|---|---|
| 008 | 180718b1985 xxu||||| |||| 00| 0 eng d | ||
| 082 | _aI5372 M364s | ||
| 100 | _aMartin, James | ||
| 245 |
_aSystem design from provably correct constructs _cby James Martin |
||
| 260 |
_aEnglewood Cliffs, N.J. _bPrentice-Hall _c1985 |
||
| 300 | _a393p. | ||
| 650 | _aSoftware engineering | ||
| 650 | _aSystem design | ||
| 999 |
_c350103 _d350103 |
||