https://e-sygoing.link Latest links in the Books category en-us Wed, 10 Jun 2026 06:40:19 -0400 https://e-sygoing.link/link/5650524-the-object-z-specification-language Book by Graeme Smith (1999). Description, table of contents, link to book series. Wed, 20 Aug 2025 05:36:51 -0400 https://e-sygoing.link/go/5650524 https://e-sygoing.link/link/5650517-understanding-z-a-specification-language-and-its-formal-sema Purchase source, related topics. [Amazon.com] Sat, 10 May 2025 10:11:42 -0400 https://e-sygoing.link/go/5650517 https://e-sygoing.link/link/5650522-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] Sun, 19 Jan 2025 17:12:53 -0500 https://e-sygoing.link/go/5650522 https://e-sygoing.link/link/5650513-an-introduction-to-formal-specification-with-z-and-vdm By Deri Sheppard; McGraw Hill Book Co.; 1994, ISBN 0077079078. Introduces Formal Methods (FM) via Z and Vdm. [Amazon.com] Sun, 01 Dec 2024 01:49:24 -0500 https://e-sygoing.link/go/5650513 https://e-sygoing.link/link/5650511-z-an-introduction-to-formal-methods By Antoni Diller; John Wiley & Sons, 1994, ISBN 0471939730, 2nd edition. Thorough tutorial introduction to Z via standard notation, case studies to illustrate all aspects, practical exercises. [Amazon.com] Thu, 03 Oct 2024 22:48:49 -0400 https://e-sygoing.link/go/5650511 https://e-sygoing.link/link/5650519-the-way-of-z-practical-programming-with-formal-methods [Amazon.com] Mon, 29 Jul 2024 05:44:39 -0400 https://e-sygoing.link/go/5650519 https://e-sygoing.link/link/5650515-introduction-to-formal-specification-and-z [Amazon.com] Tue, 27 Feb 2024 21:41:03 -0500 https://e-sygoing.link/go/5650515 https://e-sygoing.link/link/5650512-z-in-practice By Rosalind Barden, Susan Stepney, David Cooper, Susan Stephey; Prentice Hall, 1995, ISBN 0131249347. For those knowing basics of Z or other model-oriented formal specification language, case studies of real projects. [Amazon.com] Sat, 13 Jan 2024 09:19:23 -0500 https://e-sygoing.link/go/5650512 https://e-sygoing.link/link/5650521-object-orientation-in-z Purchase source, related topics. [Amazon.com] Sat, 06 Jan 2024 07:41:07 -0500 https://e-sygoing.link/go/5650521 https://e-sygoing.link/link/5650520-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] Mon, 11 Sep 2023 11:36:35 -0400 https://e-sygoing.link/go/5650520