Software Development with Z by J Wordsworth
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.| SKU | Unavailable |
| ISBN 13 | 9780201627572 |
| ISBN 10 | 0201627574 |
| Title | Software Development with Z |
| Author | J Wordsworth |
| Condition | Unavailable |
| Binding Type | Paperback |
| Publisher | Pearson Education (US) |
| Year published | 1992-06-29 |
| Number of pages | 336 |
| Cover note | Book picture is for illustrative purposes only, actual binding, cover or edition may vary. |
| Note | Unavailable |