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 cm.ISBN: 9780521879033 (hardback); 9780521879033.Subject(s): Software engineering -- Textbooks. -- School of Engineering and TechnologyDDC classification: QA 76.758 .M55 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 | Collection | Call number | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|---|
Long Loan Book
|
Kirinyaga University Library General Stacks | Non-fiction | QA 76.758 .M55 2009 (Browse shelf) | Available | KYU/2017/6123 |
Total holds: 0
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.
Open Library: