Web Directory

    Top: Computers: Programming: Languages: Z: Books:

 

The Z Notation: A Reference Manual

  Link Details for: The Z Notation: A Reference Manual
Link Title: The Z Notation: A Reference Manual Open in a new window
Link URL: http://spivey.oriel.ox.ac.uk/mike/zrm/
Link Details: 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]
Category: Top : Computers : Programming : Languages : Z : Books
Link Type: Lock this listing - So it can't be removedLock this listing - and upgrade it to FeaturedReport this listingAdd a regular link to the same category
ScreenShot:
The Z Notation: A Reference Manual