Practical formal software engineering : wanting the software you get /
Mills, Bruce
Practical formal software engineering : wanting the software you get / Bruce Mills - New York : Cambridge University Press, 2009 - xxxiii, 339 p. : ill. ; 26 cm.
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
9780521879033 (hardback) 0521879035 (hardback)
Software engineering--Textbooks
Practical formal software engineering : wanting the software you get / Bruce Mills - New York : Cambridge University Press, 2009 - xxxiii, 339 p. : ill. ; 26 cm.
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
9780521879033 (hardback) 0521879035 (hardback)
Software engineering--Textbooks