Normal view MARC view ISBD view

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.

ISBN: 9780521879033 (hardback) 0521879035 (hardback)

Subjects--Topical Terms:
Software engineering--Textbooks.

LC Class. No.: QA76.758 / .M575 2009

Dewey Class. No.: 005.1 / PRM