the entire directory only in Z/Books

---

• 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 Object-Z Specification Language - By Graeme Smith; Kluwer Academic Publishers, 2000, ISBN 0792386841. Textbook or reference, fully describes topic: semantics, defines all constructs, type and usage rules, specification guidelines, full syntax. [University of Queensland]
• The Object-Z Specification Language - Book by Graeme Smith (1999). Description, table of contents, link to book series.
• 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]
• Using Z: Specification, Refinement, and Proof - By Jim Woodcock, Jim Davies; Prentice Hall, 1996, ISBN 0139484728. Treats formal techniques and methods for software engineering via Z. Full text, slides, exercises, solutions, cards, contents. [University of Oxford, Online]

Usenet comp.risks - news: - Google Groups
Usenet comp.software-eng - news: - Google Groups
Usenet comp.specification.misc - news: - Google Groups
Usenet comp.specification.z - news: - Google Groups

"Books" search on:   AOL - Ask - Bing - Gigablast - Google - Lycos - Yahoo - Yippy

Volunteer to edit this category.

Copyright © 2012 Netscape Terms of Use