000 | 01092cam a2200253 a 4500 | ||
---|---|---|---|
001 | 15464904 | ||
003 | OSt | ||
005 | 20141025165828.0 | ||
008 | 080925s2009 nyua b 001 0 eng | ||
020 | _a9780521879033 (hardback) | ||
020 | _a0521879035 (hardback) | ||
035 | _a(OCoLC)231581092 | ||
040 | _cSA-DiMC | ||
050 | 0 | 0 |
_aQA76.758 _b.M575 2009 |
082 | 0 | 0 |
_a005.1 _222 _bPRM |
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. |
|
942 |
_2ddc _cBK |
||
999 |
_c2346 _d2346 |