Description - Introduction Formal Specification And Z by Ben Potter
The authors have updated and revised this bestselling textbook to take into account the changes in the subject over the past 5 years. The opening chapters have been rewritten to reflect the needs of students who may require a gentle introduction to the world of software engineering. It includes: various Z features which were ommitted from the first edition such as theta, free types, schema normalization and schema promotion; additional case studies and exercises; a substantial re-working of the refinement chapters; and full discussion of the relationship between Z and object orientation and other current analysis and design methods.
Buy Introduction Formal Specification And Z by Ben Potter from Australia's Online Independent Bookstore, BooksDirect.
A Preview for this title is currently not available.
Checking availability...
