Formal Specification using Z by David Lightfoot
Formal specification is a technique for specifying what is required of a computer system clearly, concisely and without ambiguity. Z is a leading notation for formal specification. Formal Specification Using Z is an introductory book intended for the many software engineers and students who will benefit from learning about this important topic in software engineering. It is intended for non-mathematicians, and it introduces the ideas in a constructive style, building each new concept on the ones already covered. Each chapter is followed by a set of exercises, and sample solutions are provided for all of these in an appendix.
'[The first edition of] David Lightfoot's Formal Specification Using Z is..an ideal introduction to Z and its use.' - New Scientist
DAVID LIGHTFOOT is currently a Senior Lecturer in the School of Computing and Mathematical Sciences at Oxford Brookes University.
| SKU | Unavailable |
| ISBN 13 | 9780333763278 |
| ISBN 10 | 0333763270 |
| Title | Formal Specification using Z |
| Author | David Lightfoot |
| Series | Grassroots |
| Condition | Unavailable |
| Binding Type | Paperback |
| Publisher | Bloomsbury Publishing PLC |
| Year published | 2000-12-06 |
| Number of pages | 176 |
| Cover note | Book picture is for illustrative purposes only, actual binding, cover or edition may vary. |
| Note | Unavailable |