The Z notation : a reference manual
Author(s)
Bibliographic Information
The Z notation : a reference manual
(Prentice-Hall International series in computer science)
Prentice Hall, c1992
2nd ed
Available at / 15 libraries
-
Library, Research Institute for Mathematical Sciences, Kyoto University数研
SPI||10||2(2)92037063
-
No Libraries matched.
- Remove all filters.
Note
Includes index
Description and Table of Contents
Description
This manual provides a detailed guide to the use of the Z notation, which is used for designing and specifying computer systems. This second edition establishes a set of notations and conventions of the use of Z and offers a tutorial introduction to the main features and data refinement.
Table of Contents
- Tutorial introduction
- background
- the Z language
- the mathematical tool-kit
- sequential systems
- syntax summary.
by "Nielsen BookData"