| 000 | 00745nam a2200217Ia 4500 | ||
|---|---|---|---|
| 008 | 191130s1996##################000#0#eng## | ||
| 020 | _a9780792396536 | ||
| 022 | _a95040529 | ||
| 040 |
_aACL _cACL |
||
| 082 | _a005.133C TAN | ||
| 100 | _aTan, Yang Meng | ||
| 245 |
_aFormal specification techniques for engineering modular C programs _cby Tan Yang Meng ; foreword by John Guttag |
||
| 260 |
_aDordrecht ; Boston _bKluwer Academic Publishers _cc1996 |
||
| 300 | _axvi, 213 p. : ill. ; 25 cm | ||
| 500 | _aIncludes bibliographical references (p. [205]-208) and index | ||
| 650 | _aC (Computer program language) | ||
| 650 | _aSoftware engineering | ||
| 990 | _a07394246ac10000c66029e6873d2abdb | ||
| 991 | _a390364 | ||
| 999 |
_c186981 _d186981 |
||