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.
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.
Why buy from World of Books
Our excellent value books literally don't cost the earth
'[The first edition of] David Lightfoot's Formal Specification Using Z is...an ideal introduction to Z and its use.' - New Scientist
About David Lightfoot
DAVID LIGHTFOOT is currently a Senior Lecturer in the School of Computing and Mathematical Sciences at Oxford Brookes University.
Table of Contents
Preface.- Introduction.- Sets.- Using Sets to Describe a System a Simple Example.- Logic.- The Example Extended.- Schemas.- Example of a Z Specification Documents.- Predicates and Quantifiers.- Relations.- Functions.- A Seat Allocation System.- Sequences.- An Example of Sequences The Aircraft Example Again.- Extending a Specification.- Hints on Creating Specifications.- Example Specifications.- Appendix 1: Collected Notation.- Appendix 2: Solutions to the Exercises.
Formal Specification using Z by David Lightfoot
Used - Very Good
Macmillan Education UK
Book picture is for illustrative purposes only, actual binding, cover or edition may vary.
This is a used book - there is no escaping the fact it has been read by someone else and it will show signs of wear and previous use. Overall we expect it to be in very good condition, but if you are not entirely satisfied please get in touch with us.