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
Close shelf browser
|
|
|
|
|
|
|
||
| QA 76.754 .K43 2007 Computer Application for Engineering / | QA 76.754 .K43 2007 Computer Application for Engineering / | QA 76.758 .C69 2003 Software engineering for real-time systems: | QA 76.758 .M55 2009 Practical formal software engineering : | QA 76.758 .P74 2015 Software engineering : | QA 76.758 .P74 2015 Software engineering : | QA 76.758 .P75 2001 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.
Open Library: