Practical formal software engineering : wanting the software you get / Bruce Mills.
By: Mills, Bruce.
Publisher: New York : Cambridge University Press, ©2019Description: 339 p: illustrations ; 26 cm.Content type: text Media type: unmediated Carrier type: volumeISBN: 9781108818643; 0521879035 (hardback).Subject(s): Software engineering -- TextbooksGenre/Form: Print books.Current location | Call number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|
On Shelf | QA76.758 .M575 2019 (Browse shelf) | Available | AU00000000016611 |
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.