| 000 | 00463nam a2200169 4500 | ||
|---|---|---|---|
| 020 | _a0-13-826579-8 | ||
| 040 | _cUDSM | ||
| 050 | _aQA76.6.S667 | ||
| 100 | 1 |
_aHayes, Ian _eAuthor |
|
| 245 | 1 | _aSpecification case studies | |
| 260 |
_aNew York: _bPrentice Hall, _c1987. |
||
| 300 |
_a332p. _b:ill. _c;24cm. |
||
| 490 | _aPrentice-Hall international series in computer science | ||
| 650 | _aComputer programs | ||
| 650 | _aSpecification | ||
| 942 |
_2lcc _cBK _n0 |
||
| 999 |
_c151713 _d151713 |
||