Practical formal software engineering : wanting the software you get / Bruce Mills.
By: Mills, Bruce
Material type: TextPublisher: New York : Cambridge University Press, 2009Description: xxxiii, 339 p. : ill. ; 26 cmISBN: 9780521879033 (hardback); 0521879035 (hardback)Subject(s): Software engineering -- TextbooksDDC classification: 005.1 LOC classification: QA76.758 | .M575 2009
Contents:
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.
Item type | Current location | Call number | Copy number | Status | Date due | Barcode |
---|---|---|---|---|---|---|
Books | UM Main Library | 005.1 PRM (Browse shelf) | 1 | Not For Loan | 00002228 | |
Books | UM Main Library | 005.1 PRM (Browse shelf) | 2 | Available | 00002230 | |
Books | UM Main Library | 005.1 PRM (Browse shelf) | 3 | Available | 00002231 | |
Books | UM Main Library | 005.1 PRM (Browse shelf) | 4 | Available | 00002229 |
Browsing UM Main Library shelves Close shelf browser
005.1 PRM Practical formal software engineering : | 005.1 PRM Practical formal software engineering : | 005.1 PRM Practical formal software engineering : | 005.1 PRM Practical formal software engineering : | 005.1 SOP Software engineering : | 005.1 SOP Software engineering : | 005.1 SOP Software engineering : |
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.
There are no comments on this title.