Using Z by Jim Woodcock
Using Z contains enough material for three complete courses of study. It provides an introduction to the world of logic, sets and relations. It explains the use of the Z notation in the specification of realistic systems. It shows how Z specifications may be refined to produce executable code; this is demonstrated in a selection of case studies.| SKU | Unavailable |
| ISBN 13 | 9780139484728 |
| ISBN 10 | 0139484728 |
| Title | Using Z |
| Author | Jim Woodcock |
| Condition | Unavailable |
| Binding Type | Paperback |
| Publisher | Pearson Education (US) |
| Year published | 1996-03-22 |
| Number of pages | 408 |
| Cover note | Book picture is for illustrative purposes only, actual binding, cover or edition may vary. |
| Note | Unavailable |