Free Shipping in Australia
Proud to be B-Corp

# Formal Specification Using Z. David Lightfoot

\$13.99
Condition - Very Good
Only 1 left

## Summary

Aims to help non-mathematicians learn about formal specification using the Z language. The book contains explanations of the mathematics of Z, interleaved with the development of an example specification. Chapters covering mathematics end with a summary and a set of exercises.

## Formal Specification Using Z. Summary

### Formal Specification Using Z. by David Lightfoot

This book aims to help readers learn about formal specification using the Z language. The author argues that formal specification offers benefits to the developers of computer systems and that it will make a contribution towards improving their quality. The book is primarily aimed at those who are not as familiar with mathematics as the mathematician and in this respect certain aspects of the explanations have been kept more informal and given less emphasis than others. The chapters of this book contain explanations of the mathematics of Z, interleaved with the development of an example specification. The chapters covering mathematics finish with a summary of the notion introduced in the chapter and a set of exercises. Sample solutions to selected exercises are included in the appendix.

Preface - Introduction - Sets in Z - Using Sets to Describe a System: a simple example - Logic: Propositional Calculus - The Example Extended - Schemas - Example of a Z Specification Document - Logic: Predicate Calculus - Relations - Functions - A Seat Allocation System - Sequences - An Example of Sequences - Extending a Specification - Appendices - Index

GOR001508413
9780333544082
0333544080
Formal Specification Using Z. by David Lightfoot
Used - Very Good
Paperback
Palgrave Macmillan
19910426
176
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