You'll get the exact copy in the photo
Software Development With Z
A Practical Approach to Formal Methods in Software Engineering
Authors
More about the book
This book is a highly practical tutorial guide to the Z specification language and its role in software development. The book illustrates how familiar procedures and decisions can be made precise using mathematics. Beginning with a case study, this book is designed to be as self-contained as possible, taking the reader through the basic concepts in logic and set theory formulating precise ideas about software systems, and combines a formal approach with practical examples of its use in software development.
Book purchase
Software Development With Z, J. B. Wordsworth
- Language
- Released
- 1992
- Binding
- (Paperback),
- Book condition
- Good
- Price
- €6.09
Payment methods
No one has rated yet.
- Title
- Software Development With Z
- Subtitle
- A Practical Approach to Formal Methods in Software Engineering
- Language
- English
- Authors
- J. B. Wordsworth
- Publisher
- Addison-Wesley
- Released
- 1992
- Format
- Paperback
- Pages
- 400
- ISBN10
- 0201627574
- ISBN13
- 9780201627572
- Series
- Categories
- Tags
- Development
- Description
- This book is a highly practical tutorial guide to the Z specification language and its role in software development. The book illustrates how familiar procedures and decisions can be made precise using mathematics. Beginning with a case study, this book is designed to be as self-contained as possible, taking the reader through the basic concepts in logic and set theory formulating precise ideas about software systems, and combines a formal approach with practical examples of its use in software development.