| 000 | 00425nam a22001457a 4500 | ||
|---|---|---|---|
| 020 | _a0333992814 (PB) | ||
| 082 |
_a005.1 _bCHA-F |
||
| 100 | _aCharatan, Quentin-Kans, Aaron | ||
| 245 |
_aFormal Software Development: _bFrom VDM to Java |
||
| 260 |
_aNew York _bPalgrave Macmillan _c2004 |
||
| 300 |
_axii:239p. _c27x20cm. |
||
| 504 | _aInclude Index. | ||
| 650 | _aComputer Software--Development--Formal Methods | ||
| 942 | _cBK | ||
| 999 |
_c27679 _d27679 |
||