Library of American University of Madaba
Your cart is empty.
Practical formal software engineering : wanting the software you get /
by Mills, Bruce,
Published by : Cambridge University Press, (New York :) Physical details: xxxiii, 339 p. : ill. ; 26 cm. ISBN: 0521879035 Subject(s): Software engineering %Textbooks. Year: 2009
Tags from this library:
No tags from this library for this title.
| Item type | Location | Call Number | Status | Notes | Date Due |
|---|---|---|---|---|---|
 Book |
AUM Main Library | 005.1 M575 (Browse Shelf) | Available | JBC/2012/1369 |
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 for this item.