In Partnership with AOL
  • Amazon.com: Z Programming - Lists books for sale on the topic of Z programming. Includes descriptions of individual books, reviews and purchase information.
    [!]
  • Object Orientation in Z - Edited by Susan Stepney, Rosalind Barden, David Cooper; Springer-Verlag, 1992, ISBN 3540197788. Set of papers showing many ways to add OO concepts and structuring to Z. Each shows same problems, for comparing. [University of York]
    [!]
  • The Way of Z: Practical Programming with Formal Methods - By Jonathan Jacky; Cambridge University Press, 1997, ISBN 0521559766. Introduces formal methods (FM) via Z, case studies, tutorial, glossary. [University of Washington]
    [!]
  • 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]
    [!]
Volunteer to edit this category.
Copyright © 1998-2016 AOL Inc. Terms of Use
Visit our sister sites  mozilla.org | MusicMoz | Wikipedia

Last update: March 5, 2016 at 6:24:07 UTC - edit