/LC.GIF&client=easterncarolinaedu)
Practical formal software engineering : wanting the software you get / Bruce Mills.
| Author/creator | Mills, Bruce, 1962- |
| Format | Book |
| Publication Info | New York : Cambridge University Press, 2009. |
| Description | xxxiii, 339 pages : illustrations ; 26 cm |
| Subjects |
| Contents | PART 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. |
| Bibliography note | Includes bibliographical references and index. |
| LCCN | 2008042407 |
| ISBN | 9780521879033 (hardback) |
| ISBN | 0521879035 (hardback) |
Availability
| Library | Location | Call Number | Status | Item Actions |
|---|---|---|---|---|
| Joyner | General Stacks | QA76.758 .M575 2009 | ✔ Available | Place Hold |