Mills, Bruce, 1962-
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) 9780521879033
2008042407
GBA8C6306 bnb
014794189 Uk
Software engineering--School of Engineering and Technology--Textbooks.
QA 76.758 / .M55 2009
QA 76.758 .M55 2009
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) 9780521879033
2008042407
GBA8C6306 bnb
014794189 Uk
Software engineering--School of Engineering and Technology--Textbooks.
QA 76.758 / .M55 2009
QA 76.758 .M55 2009