Free Shipping In the UK
Formal Specification using Z By David Lightfoot

Formal Specification using Z
by David Lightfoot

In Stock
£6.99
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.
Only 4 left

Formal Specification using Z Summary


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.

Why buy from World of Books

Our excellent value books literally don't cost the earth
Free delivery in the UK
Read more here
Every used book bought is one saved from landfill

Formal Specification using Z Reviews


'[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.

Additional information

GOR001182436
Formal Specification using Z by David Lightfoot
David Lightfoot
Grassroots
Used - Very Good
Paperback
Macmillan Education UK
2000-12-06
176
0333763270
9780333763278
N/A
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.