Advertisement

Table of contents

  1. Front Matter
    Pages i-xi
  2. David Lightfoot
    Pages 1-7
  3. David Lightfoot
    Pages 8-22
  4. David Lightfoot
    Pages 28-36
  5. David Lightfoot
    Pages 37-38
  6. David Lightfoot
    Pages 39-55
  7. David Lightfoot
    Pages 56-60
  8. David Lightfoot
    Pages 61-68
  9. David Lightfoot
    Pages 69-84
  10. David Lightfoot
    Pages 85-95
  11. David Lightfoot
    Pages 96-99
  12. David Lightfoot
    Pages 100-114
  13. David Lightfoot
    Pages 119-126
  14. Back Matter
    Pages 127-164

About this book

Introduction

Covers the main areas of formal specification in Z at an introductory level. The explanations of the mathematics of Z are interleaved with the development of an example specification. Exercises are included throughout and sample solutions are provided.

Keywords

Area calculus development formal specification function functions Logic mathematics proposition

Authors and affiliations

  • David Lightfoot
    • 1
  1. 1.School of Computing and Mathematical SciencesOxford PolytechnicUK

Bibliographic information

  • DOI https://doi.org/10.1007/978-1-349-12144-1
  • Copyright Information Macmillan Publishers Limited 1991
  • Publisher Name Palgrave, London
  • eBook Packages Engineering
  • Print ISBN 978-0-333-54408-2
  • Online ISBN 978-1-349-12144-1
  • Buy this book on publisher's site
Industry Sectors
Pharma
Automotive
Finance, Business & Banking
Electronics
IT & Software
Telecommunications
Energy, Utilities & Environment
Aerospace
Engineering