| 000 | 00579nam a22001817a 4500 | ||
|---|---|---|---|
| 005 | 20151026130425.0 | ||
| 008 | 100304t xxu||||| |||| 00| 0 eng d | ||
| 020 | _a0133290034 | ||
| 080 |
_a004.414.38 _bBJO |
||
| 100 |
_aBjorner, Diner _910822 |
||
| 245 | _aFormal specification and software development | ||
| 260 |
_aNew Jersy _bPrentice-hall international _c1982 |
||
| 300 | _ax,501p. | ||
| 490 | _aPrintice-Hall International series in computer science | ||
| 653 |
_aMicroprogramming _aComputer science _aComputer system |
||
| 700 |
_aJones, Cliff B. _910824 |
||
| 942 | _cBK | ||
| 999 |
_c5060 _d5060 |
||