Back to top
View the classic catalog.
Languages & Display
English
Español
Display
Melrose Public Library
Dark Mode
Navigation
Library Website
Events
Museum Passes
Quiet Study Rooms
Get a Library Card
ComCat
Sign in
Your Account
Library Home Page
Library Hours & Location
Library Hours & Location
Change Catalog
Help
Display Options
Languages
English
Español
Sign Out
Look for
Keyword
Title
Start of Title
Series
Author
Subject
Call Number
Advanced Search
in Library Catalog
in Online Collection
in Articles & Databases
in Lists
in History & Archives
in Combined Results
Search
Browse
»
Practical formal software engineering: wanting the software you get
Practical formal software engineering: wanting the software you get
Author
Mills, Bruce
Publisher
Cambridge University Press
Publication Date
2009
Language
English
Book
Show Edition
Available from another library
Where is it?
See Full Copy Details
Place Hold
Add to List
Description
Loading Description...
NoveList
Published Reviews
Table of Contents
From the Book
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.
Excerpt
Loading Excerpt...
Author Notes
Loading Author Notes...
Subjects
Subjects
Software engineering
Software engineering -- Textbooks
More Details
ISBN
9780521879033
Staff View
Loading Staff View.
Loading, please wait
...
