| 000 | 01509cam a2200313 a 4500 | ||
|---|---|---|---|
| 999 |
_c3480 _d3480 |
||
| 001 | 15464904 | ||
| 003 | OSt | ||
| 005 | 20250605112126.0 | ||
| 008 | 080925s2009 nyua b 001 0 eng | ||
| 010 | _a 2008042407 | ||
| 015 |
_aGBA8C6306 _2bnb |
||
| 016 | 7 |
_a014794189 _2Uk |
|
| 020 | _a9780521879033 (hardback) | ||
| 020 | _a9780521879033 | ||
| 035 | _a(OCoLC)231581092 | ||
| 040 |
_aDLC _cKyUL _dKyUL _dBTCTA _dBAKER _dYDXCP _dUKM _dVLB _dCDX _dDLC |
||
| 050 | 0 | 0 |
_aQA 76.758 _b.M55 2009 |
| 082 | 0 | 0 |
_aQA 76.758 .M55 2009 _222 |
| 100 | 1 |
_aMills, Bruce, _d1962- |
|
| 245 | 1 | 0 |
_aPractical formal software engineering : _bwanting the software you get / _cBruce Mills. |
| 260 |
_aNew York : _bCambridge University Press, _c2009. |
||
| 300 |
_axxxiii, 339 p. : _bill. ; _c26 cm. |
||
| 504 | _aIncludes bibliographical references and index. | ||
| 505 | 0 | _aPART 1: Fundamentals. Arithmetic -- Logic -- Algebra -- Diagrams -- -- PART 2: Language. UML -- OCL -- Z -- Logic -- Java -- Game exercises -- -- PART 3: Practice. Implementation -- State transformation -- Plain text -- Natural language -- Digital geometry -- Building dungeons -- Multiple threads -- Security. | |
| 650 | 0 |
_aSoftware engineering _vTextbooks. _2Technology _xSchool of Engineering and Technology |
|
| 906 |
_a7 _bcbc _corignew _d1 _eecip _f20 _gy-gencatlg |
||
| 942 |
_2lcc _cLLB |
||