|
Z Base Standard version 1.0
S M Brien and
J E Nicholls
November 1992, 202 pages,
ISBN 0-902928-84-8
The Z standard defines the representation, structure and
meaning of the formal part of specifications written in the Z notation.
In addition the standard defines: a Library or Toolkit of mathematical
functions for use in writing Z specifications; an Interchange Format
for Z documents that enables them to be prepared, stored and
transmitted within computer networks; and a deductive system for formal
reasoning about Z specifications.
The standard does not define a method of using Z.
|
![[Oxford Spires]](/im/spires.gif){kind=small}
oucl