| 000 | 00813 a2200169 4500 | ||
|---|---|---|---|
| 005 | 20250701110057.0 | ||
| 020 | _a978-0333992814 | ||
| 082 |
_a005.1 _bCHA-F |
||
| 100 | _aCharatan, Quentin | ||
| 245 |
_aFormal Software Development : _bFrom VDM to Java / |
||
| 260 |
_aNew York: _bPalgrave Macmillanxi, _c2004. |
||
| 300 |
_axi, 239p _c20.5 x 27 cm |
||
| 500 | _aIncludes index. | ||
| 650 | _aThis is a gently-paced software engineering text that concentrates on the use of formal methods for the development of high integrity software. It assumes no previous knowledge of formal methods, and presents a practical and comprehensive treatment of the subject suitable for second and third year undergraduates on computing courses, and students on taught master's courses. | ||
| 700 | _aKans, Aaron | ||
| 942 | _cBK | ||
| 999 |
_c35252 _d35252 |
||