1. Home
  2. Computer
  3. Programmin­g
  4. The Z Notation: A Reference Manual

Computer · Programmin­g

The Z Notation: A Reference Manual

Listed in the directory · updated 20 Jul 2022

Visit website

Find them on

Share

About The Z Notation: A Reference Manual

The Z Notation: A Reference Manual- J. Mike Spivey; Prentice Hall, International Series in Computer Science, 1988, 1992, 2001, ISBN 0139785299. Standard reference work for Z. Description, free downloads: PostScript, PDF, LaTeX. [University of Oxford]

Tags

Personal Pages

Where it sits

Computer Programmin­g

More in Programmin­g

See all →