Formal Specification Using Z. by David Lightfoot

Skip to product information
1 of 1

Formal Specification Using Z. by David Lightfoot

Regular price
Checking stock...
Regular price
Checking stock...
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.

The feel-good place to buy books
  • Free delivery in Australia
  • Supporting authors with AuthorSHARE
  • 100% recyclable packaging
  • Proud to be a B Corp – A Business for good
  • Buy-back with Ziffit

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.
Lightfoot, David: - David Lightfoot is Professor of Linguistics at Georgetown University, and Assistant Director of the National Science Foundation.
SKU Unavailable
ISBN 13 9780333544082
ISBN 10 0333544080
Title Formal Specification Using Z.
Author David Lightfoot
Series Computer Science S
Condition Unavailable
Binding Type Paperback
Publisher Palgrave Macmillan
Year published 1991-04-26
Number of pages 176
Cover note Book picture is for illustrative purposes only, actual binding, cover or edition may vary.
Note Unavailable