| 000 | 01215nam a2200241 a 4500 | ||
|---|---|---|---|
| 001 | vtls000038040 | ||
| 003 | KUKTEM | ||
| 005 | 20251117150057.0 | ||
| 008 | 091229t2009 nyua f b 001 0 eng d | ||
| 020 | _a9780521879033 (hardback) | ||
| 020 | _a0521879035 (hardback) | ||
| 039 | 9 |
_a201107132303 _bVLOAD _c200912291319 _dfauzi _c200908141632 _dVLOAD _c200908141606 _dVLOAD _y200906171152 _znadia |
|
| 040 | _aUMP | ||
| 090 | _aQA76.758 .M55 2009 | ||
| 100 | 1 | _aMills, Bruce | |
| 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 |
|
| 999 |
_aVIRTUA40 _c50910 _d50916 |
||
| 999 | _aVTLSSORT0080*0200*0201*0400*0900*1000*2450*2600*3000*5040*5050*6500*9991 | ||