XWe have detected your location as outside the U.S/Canada, if you think this is wrong, you can choose your location.

Red Globe Press
Bloomsbury announces the acquisition of Red Globe Press from Springer Nature Group. Find out more

Formal Specification using Z (2nd Edition)

Author(s):
Publisher:

Red Globe Press

Pages: 176
Series:

Grassroots

Downloads:

Sample chapter

AVAILABLE FORMATS

Paperback - 9780333763278

06 December 2000

$76.99

Ebook - 9781349911851

28 December 2015

Ebook - 9781137111241

20 December 2000

$54.99

Ebook - 9781137242525

20 December 2000

$59.99

All prices are shown excluding Tax

We regret that at present you cannot buy books direct from the website. This is while Red Globe Press books move to Bloomsbury’s website and warehouse, following the acquisition. RGP titles will be available on bloomsbury.com from early fall.

Please purchase from your local or preferred online bookshop.

For exam copies, please email askacademic@bloomsbury.com with course details (course name, level, module, no. of students, start date) and your academic address.

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

Show More

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.

Show Less

Clear, concise introduction, aimed at mathematical nonspecialists, building the material up gently but logically
NEW chapter on Refinement the process of developing specification through to a program
NEW chapter on future developments in formal methods with a brief introduction to 'B' and its associated software tools

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.

Add a review

DAVID LIGHTFOOT is currently a Senior Lecturer in the School of Computing and Mathematical Sciences at Oxford Brookes University.

Show More

DAVID LIGHTFOOT is currently a Senior Lecturer in the School of Computing and Mathematical Sciences at Oxford Brookes University.

Show Less

Best Sellers