Practical formal software engineering : wanting the software you get /
Mills, Bruce,1962-
Cambridge : Cambridge University Press,
2009.
Includes bibliographical references and index.
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.
Software engineering