Books Languages Programming

This category holds links to books on the Z formal specification language.

    Top: Computers: Programming: Languages: Z: Books

  • The Object-Z Specification Language - Book by Graeme Smith (1999). Description, table z of contents, languages link to book series.
  • Introduction to Formal Specification and Z - By Ben Potter, Jane Sinclair, David Till; Prentice Hall PTR, languages 1997, ISBN 0132422077, 2nd edition. For developers; Z notation can languages greatly improve the way software systems are modeled, implemented; investigate languages specifications before construction. [Prentice Ha
  • The Way of Z: Practical Programming with Formal Methods - By Jonathan Jacky; Cambridge University Press, 1997, ISBN 0521559766. Introduces z formal methods (FM) via Z, case studies, tutorial, glossary. [University z of Washington]
  • Z Programming - Lists books for sale on the topic of z Z programming. Includes descriptions of individual books, reviews z and purchase information.
  • The Z Notation: A Reference Manual - J. Mike Spivey; Prentice Hall, International Series in books Computer Science, 1988, 1992, 2001, ISBN 0139785299. Standard books reference work for Z. Description, free downloads: PostScript, books PDF, LaTeX. [University of Oxford]
  • Using Z: Specification, Refinement, and Proof - By Jim Woodcock, Jim Davies; Prentice Hall, 1996, z ISBN 0139484728. languages Treats formal techniques and methods for z software engineering via Z. languages Full text, slides, exercises, z solutions, cards, contents. [University of Oxford, languages Online]
  • Object Orientation in Z - Edited by Susan Stepney, Rosalind Barden, David Cooper; z Springer-Verlag, 1992, books ISBN 3540197788. Set of papers showing z many ways to add books OO concepts and structuring z to Z. Each shows same problems, books for comparing. z [University of York]

   MySQL - Cache Direct