An Introduction to Discrete Mathematics, Formal System Specification, and Z |
|
| Author:
| Ince, D. C. |
| Series title: | Oxford Applied Mathematics and Computing Science Ser. |
| ISBN: | 978-0-19-853836-3 |
| Publication Date: | Feb 1993 |
| Publisher: | Oxford University Press
|
| Book Format: | Paperback |
| List Price: | AUD $133.59AUD $152.95 |
Book Description:
|
Formal specification is the name given to the use of discrete mathematics in computer science for describing the function of both hardware and software systems. Z is the name of a specification language. This textbook (1st edn 1988) is an introduction to the theory and practice of formal specification. The new edition meets criticisms of the first by concentrating more on Z, including two completely new chapters on small Z examples and design in Z.
Formal specification is the name given to the use of discrete mathematics in computer science for describing the function of both hardware and software systems. Z is the name of a specification language. This textbook (1st edn 1988) is an introduction to the theory and practice of formal specification. The new edition meets criticisms of the first by concentrating more on Z, including two completely new chapters on small Z examples and design in Z.