Explore: Z (computer Program Language)

Discover books, insights, and more — all in one place.

Learn more about Z (computer Program Language) with top reads curated from trusted sources — all in one place.

Topic Search

Search for any topic

AI-Generated Overview About “z-%28computer-program-language%29”:


Books Results

Source: The Open Library

The Open Library Search Results

Search results from The Open Library

1Managing NFS and NIS

By

Book's cover

“Managing NFS and NIS” Metadata:

  • Title: Managing NFS and NIS
  • Authors:
  • Language: English
  • Number of Pages: Median: 490
  • Publisher: ➤  O'Reilly & Associates - O'Reilly Media, Inc. - O'Reilly Media, Incorporated
  • Publish Date:
  • Publish Location: Sebastopol, CA

“Managing NFS and NIS” Subjects and Themes:

Edition Identifiers:

Access and General Info:

  • First Year Published: 1991
  • Is Full Text Available: Yes
  • Is The Book Public: No
  • Access Status: Borrowable

Online Access

Downloads Are Not Available:

The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.

Online Borrowing:

Online Marketplaces

Find Managing NFS and NIS at online marketplaces:


2An introduction to formal specification and Z

By

Book's cover

“An introduction to formal specification and Z” Metadata:

  • Title: ➤  An introduction to formal specification and Z
  • Author:
  • Language: English
  • Number of Pages: Median: 369
  • Publisher: Prentice Hall
  • Publish Date:
  • Publish Location: New York - London

“An introduction to formal specification and Z” Subjects and Themes:

Edition Identifiers:

Access and General Info:

  • First Year Published: 1991
  • Is Full Text Available: Yes
  • Is The Book Public: No
  • Access Status: Borrowable

Online Access

Downloads Are Not Available:

The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.

Online Borrowing:

Online Marketplaces

Find An introduction to formal specification and Z at online marketplaces:


3Refinement in Z and Object-Z

By

Book's cover

“Refinement in Z and Object-Z” Metadata:

  • Title: Refinement in Z and Object-Z
  • Authors:
  • Language: English
  • Number of Pages: Median: 492
  • Publisher: ➤  Springer - Springer London, Limited
  • Publish Date:

“Refinement in Z and Object-Z” Subjects and Themes:

Edition Identifiers:

First Setence:

"Z is a formal specification language."

Access and General Info:

  • First Year Published: 2001
  • Is Full Text Available: Yes
  • Is The Book Public: No
  • Access Status: Borrowable

Online Access

Downloads Are Not Available:

The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.

Online Borrowing:

Online Marketplaces

Find Refinement in Z and Object-Z at online marketplaces:


4Understanding Z

By

Book's cover

“Understanding Z” Metadata:

  • Title: Understanding Z
  • Author:
  • Language: English
  • Number of Pages: Median: 136
  • Publisher: Cambridge University Press
  • Publish Date:
  • Publish Location: ➤  New York - Cambridge [Cambridgeshire]

“Understanding Z” Subjects and Themes:

Edition Identifiers:

Access and General Info:

  • First Year Published: 1988
  • Is Full Text Available: Yes
  • Is The Book Public: No
  • Access Status: Borrowable

Online Access

Downloads Are Not Available:

The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.

Online Borrowing:

Online Marketplaces

Find Understanding Z at online marketplaces:


5A programmer's guide to ZPL

By

Book's cover

“A programmer's guide to ZPL” Metadata:

  • Title: A programmer's guide to ZPL
  • Author:
  • Language: English
  • Number of Pages: Median: 177
  • Publisher: MIT Press
  • Publish Date:
  • Publish Location: Cambridge, Mass

“A programmer's guide to ZPL” Subjects and Themes:

Edition Identifiers:

Access and General Info:

  • First Year Published: 1999
  • Is Full Text Available: Yes
  • Is The Book Public: No
  • Access Status: Borrowable

Online Access

Downloads Are Not Available:

The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.

Online Borrowing:

Online Marketplaces

Find A programmer's guide to ZPL at online marketplaces:


6Z guide for beginners

By

Book's cover

“Z guide for beginners” Metadata:

  • Title: Z guide for beginners
  • Authors:
  • Language: English
  • Number of Pages: Median: 252
  • Publisher: ➤  Blackwell Scientific - Alfred Waller Ltd
  • Publish Date:
  • Publish Location: Cambridge, Mass., USA - Oxford

“Z guide for beginners” Subjects and Themes:

Edition Identifiers:

Access and General Info:

  • First Year Published: 1992
  • Is Full Text Available: Yes
  • Is The Book Public: No
  • Access Status: Borrowable

Online Access

Downloads Are Not Available:

The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.

Online Borrowing:

Online Marketplaces

Find Z guide for beginners at online marketplaces:


7Exercices corrigés en langage Z

By

Book's cover

“Exercices corrigés en langage Z” Metadata:

  • Title: ➤  Exercices corrigés en langage Z
  • Author:
  • Language: fre
  • Number of Pages: Median: 243
  • Publisher: Ellipses
  • Publish Date:
  • Publish Location: Paris

“Exercices corrigés en langage Z” Subjects and Themes:

Edition Identifiers:

Access and General Info:

  • First Year Published: 2004
  • Is Full Text Available: Yes
  • Is The Book Public: No
  • Access Status: Borrowable

Online Access

Downloads Are Not Available:

The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.

Online Borrowing:

Online Marketplaces

Find Exercices corrigés en langage Z at online marketplaces:


8Essence of Z (Prentice-Hall Essence of Computing)

By

Book's cover

“Essence of Z (Prentice-Hall Essence of Computing)” Metadata:

  • Title: ➤  Essence of Z (Prentice-Hall Essence of Computing)
  • Author:
  • Language: English
  • Number of Pages: Median: 200
  • Publisher: Prentice-Hall
  • Publish Date:

“Essence of Z (Prentice-Hall Essence of Computing)” Subjects and Themes:

Edition Identifiers:

Access and General Info:

  • First Year Published: 1999
  • Is Full Text Available: Yes
  • Is The Book Public: No
  • Access Status: Borrowable

Online Access

Downloads Are Not Available:

The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.

Online Borrowing:

Online Marketplaces

Find Essence of Z (Prentice-Hall Essence of Computing) at online marketplaces:


9Introducing specification using Z

By

Book's cover

“Introducing specification using Z” Metadata:

  • Title: ➤  Introducing specification using Z
  • Author:
  • Language: English
  • Number of Pages: Median: 308
  • Publisher: ➤  McGraw-Hill - Mcgraw Hill Book Co Ltd
  • Publish Date:
  • Publish Location: New York - London

“Introducing specification using Z” Subjects and Themes:

Edition Identifiers:

Access and General Info:

  • First Year Published: 1994
  • Is Full Text Available: Yes
  • Is The Book Public: No
  • Access Status: Borrowable

Online Access

Downloads Are Not Available:

The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.

Online Borrowing:

Online Marketplaces

Find Introducing specification using Z at online marketplaces:


10An introduction to Z

By

Book's cover

“An introduction to Z” Metadata:

  • Title: An introduction to Z
  • Author:
  • Language: English
  • Number of Pages: Median: 208
  • Publisher: ➤  Chartwell-Bratt - Studentlitteratur
  • Publish Date:
  • Publish Location: Bromley, Kent - Lund

“An introduction to Z” Subjects and Themes:

Edition Identifiers:

Access and General Info:

  • First Year Published: 1991
  • Is Full Text Available: Yes
  • Is The Book Public: No
  • Access Status: Borrowable

Online Access

Downloads Are Not Available:

The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.

Online Borrowing:

Online Marketplaces

Find An introduction to Z at online marketplaces:


11An introduction to formal specification with Z and VDM

By

Book's cover

“An introduction to formal specification with Z and VDM” Metadata:

  • Title: ➤  An introduction to formal specification with Z and VDM
  • Author:
  • Language: English
  • Number of Pages: Median: 398
  • Publisher: McGraw-Hill
  • Publish Date:
  • Publish Location: London - New York

“An introduction to formal specification with Z and VDM” Subjects and Themes:

Edition Identifiers:

Access and General Info:

  • First Year Published: 1995
  • Is Full Text Available: Yes
  • Is The Book Public: No
  • Access Status: Borrowable

Online Access

Downloads Are Not Available:

The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.

Online Borrowing:

Online Marketplaces

Find An introduction to formal specification with Z and VDM at online marketplaces:


12Z

By

Book's cover

“Z” Metadata:

  • Title: Z
  • Author:
  • Language: English
  • Number of Pages: Median: 374
  • Publisher: ➤  J. Wiley - Wiley & Sons - Wiley
  • Publish Date:
  • Publish Location: ➤  New York - Chichester, West Sussex, England - Chichester [England]

“Z” Subjects and Themes:

Edition Identifiers:

First Setence:

"Z is a language, but knowing this does not tell you very much about it because there are many different kinds of language, such as natural language and programming language."

Access and General Info:

  • First Year Published: 1990
  • Is Full Text Available: Yes
  • Is The Book Public: No
  • Access Status: Printdisabled

Online Access

Downloads Are Not Available:

The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.

Online Borrowing:

    Online Marketplaces

    Find Z at online marketplaces:


    13The Way of Z

    By

    Book's cover

    “The Way of Z” Metadata:

    • Title: The Way of Z
    • Author:
    • Language: English
    • Number of Pages: Median: 367
    • Publisher: Cambridge University Press
    • Publish Date:
    • Publish Location: Cambridge - New York, NY, USA

    “The Way of Z” Subjects and Themes:

    Edition Identifiers:

    First Setence:

    "Formal methods apply logic and simple mathematics to programming."

    Access and General Info:

    • First Year Published: 1996
    • Is Full Text Available: No
    • Is The Book Public: No
    • Access Status: No_ebook

    Online Access

    Downloads Are Not Available:

    The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.

    Online Borrowing:

      Online Marketplaces

      Find The Way of Z at online marketplaces:


      14Formal Specification Using Z (Computer Science)

      By

      Book's cover

      “Formal Specification Using Z (Computer Science)” Metadata:

      • Title: ➤  Formal Specification Using Z (Computer Science)
      • Author:
      • Language: English
      • Number of Pages: Median: 1089
      • Publisher: Palgrave Macmillan
      • Publish Date:

      “Formal Specification Using Z (Computer Science)” Subjects and Themes:

      Edition Identifiers:

      Access and General Info:

      • First Year Published: 1991
      • Is Full Text Available: Yes
      • Is The Book Public: No
      • Access Status: Printdisabled

      Online Access

      Downloads Are Not Available:

      The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.

      Online Borrowing:

        Online Marketplaces

        Find Formal Specification Using Z (Computer Science) at online marketplaces:


        15ZUM '97, the Z formal specification notation

        By

        Book's cover

        “ZUM '97, the Z formal specification notation” Metadata:

        • Title: ➤  ZUM '97, the Z formal specification notation
        • Author: ➤  
        • Language: English
        • Number of Pages: Median: 433
        • Publisher: Springer
        • Publish Date:
        • Publish Location: New York - Berlin

        “ZUM '97, the Z formal specification notation” Subjects and Themes:

        Edition Identifiers:

        Access and General Info:

        • First Year Published: 1997
        • Is Full Text Available: Yes
        • Is The Book Public: No
        • Access Status: Printdisabled

        Online Access

        Downloads Are Not Available:

        The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.

        Online Borrowing:

          Online Marketplaces

          Find ZUM '97, the Z formal specification notation at online marketplaces:


          16ZB 2000

          By

          Book's cover

          “ZB 2000” Metadata:

          • Title: ZB 2000
          • Author: ➤  
          • Language: English
          • Number of Pages: Median: 510
          • Publisher: Springer
          • Publish Date:
          • Publish Location: New York - Berlin

          “ZB 2000” Subjects and Themes:

          Edition Identifiers:

          Access and General Info:

          • First Year Published: 2000
          • Is Full Text Available: No
          • Is The Book Public: No
          • Access Status: No_ebook

          Online Access

          Downloads Are Not Available:

          The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.

          Online Borrowing:

            Online Marketplaces

            Find ZB 2000 at online marketplaces:


            17The Object-Z Specification Language

            By

            Book's cover

            “The Object-Z Specification Language” Metadata:

            • Title: ➤  The Object-Z Specification Language
            • Author:
            • Language: English
            • Number of Pages: Median: 155
            • Publisher: ➤  Springer US - Springer My Copy UK
            • Publish Date:
            • Publish Location: Boston, MA

            “The Object-Z Specification Language” Subjects and Themes:

            Edition Identifiers:

            Access and General Info:

            • First Year Published: 1999
            • Is Full Text Available: No
            • Is The Book Public: No
            • Access Status: Unclassified

            Online Access

            Downloads Are Not Available:

            The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.

            Online Borrowing:

              Online Marketplaces

              Find The Object-Z Specification Language at online marketplaces:


              18Using Z

              By

              Book's cover

              “Using Z” Metadata:

              • Title: Using Z
              • Authors:
              • Language: English
              • Number of Pages: Median: 386
              • Publisher: Prentice Hall
              • Publish Date:

              “Using Z” Subjects and Themes:

              Edition Identifiers:

              Access and General Info:

              • First Year Published: 1996
              • Is Full Text Available: No
              • Is The Book Public: No
              • Access Status: Unclassified

              Online Access

              Downloads Are Not Available:

              The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.

              Online Borrowing:

                Online Marketplaces

                Find Using Z at online marketplaces:


                19ZB 2003

                By

                Book's cover

                “ZB 2003” Metadata:

                • Title: ZB 2003
                • Authors:
                • Language: English
                • Number of Pages: Median: 547
                • Publisher: Springer
                • Publish Date:

                “ZB 2003” Subjects and Themes:

                Edition Identifiers:

                First Setence:

                "The pattern catalogue uses meaningful pattern names to guide users to appropriate patterns."

                Access and General Info:

                • First Year Published: 2003
                • Is Full Text Available: No
                • Is The Book Public: No
                • Access Status: No_ebook

                Online Access

                Downloads Are Not Available:

                The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.

                Online Borrowing:

                  Online Marketplaces

                  Find ZB 2003 at online marketplaces:


                  20Formal Specification and Documentation Using Z

                  By

                  Book's cover

                  “Formal Specification and Documentation Using Z” Metadata:

                  • Title: ➤  Formal Specification and Documentation Using Z
                  • Author:
                  • Language: English
                  • Number of Pages: Median: 302
                  • Publisher: ➤  International Thomson Computer Press
                  • Publish Date:
                  • Publish Location: London, UK

                  “Formal Specification and Documentation Using Z” Subjects and Themes:

                  Edition Identifiers:

                  Access and General Info:

                  • First Year Published: 1996
                  • Is Full Text Available: No
                  • Is The Book Public: No
                  • Access Status: No_ebook

                  Online Access

                  Downloads Are Not Available:

                  The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.

                  Online Borrowing:

                    Online Marketplaces

                    Find Formal Specification and Documentation Using Z at online marketplaces:


                    21Software development with Z

                    By

                    Book's cover

                    “Software development with Z” Metadata:

                    • Title: Software development with Z
                    • Author:
                    • Language: English
                    • Number of Pages: Median: 334
                    • Publisher: Addison-Wesley Pub. Co.
                    • Publish Date:
                    • Publish Location: ➤  Wokingham, England - Reading, Mass

                    “Software development with Z” Subjects and Themes:

                    Edition Identifiers:

                    Access and General Info:

                    • First Year Published: 1992
                    • Is Full Text Available: No
                    • Is The Book Public: No
                    • Access Status: No_ebook

                    Online Marketplaces

                    Find Software development with Z at online marketplaces:


                    22The Z notation

                    By

                    Book's cover

                    “The Z notation” Metadata:

                    • Title: The Z notation
                    • Author:
                    • Language: English
                    • Number of Pages: Median: 157
                    • Publisher: Prentice Hall
                    • Publish Date:
                    • Publish Location: ➤  Englewood Cliffs, N.J - New York

                    “The Z notation” Subjects and Themes:

                    Edition Identifiers:

                    Access and General Info:

                    • First Year Published: 1989
                    • Is Full Text Available: No
                    • Is The Book Public: No
                    • Access Status: No_ebook

                    Online Marketplaces

                    Find The Z notation at online marketplaces:


                    23Z User Workshop

                    By

                    Book's cover

                    “Z User Workshop” Metadata:

                    • Title: Z User Workshop
                    • Author:
                    • Language: English
                    • Number of Pages: Median: 284
                    • Publisher: Springer London - Springer
                    • Publish Date:
                    • Publish Location: London

                    “Z User Workshop” Subjects and Themes:

                    Edition Identifiers:

                    Access and General Info:

                    • First Year Published: 1990
                    • Is Full Text Available: No
                    • Is The Book Public: No
                    • Access Status: No_ebook

                    Online Access

                    Downloads Are Not Available:

                    The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.

                    Online Borrowing:

                      Online Marketplaces

                      Find Z User Workshop at online marketplaces:


                      24Formal Specification of Advanced Ai Architectures

                      By

                      Book's cover

                      “Formal Specification of Advanced Ai Architectures” Metadata:

                      • Title: ➤  Formal Specification of Advanced Ai Architectures
                      • Author:
                      • Language: English
                      • Number of Pages: Median: 320
                      • Publisher: Ellis Horwood, Ltd.
                      • Publish Date:

                      “Formal Specification of Advanced Ai Architectures” Subjects and Themes:

                      Edition Identifiers:

                      Access and General Info:

                      • First Year Published: 1991
                      • Is Full Text Available: No
                      • Is The Book Public: No
                      • Access Status: No_ebook

                      Online Access

                      Downloads Are Not Available:

                      The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.

                      Online Borrowing:

                        Online Marketplaces

                        Find Formal Specification of Advanced Ai Architectures at online marketplaces:


                        25Improving the translation from data flow diagrams into Z by incorporating the data dictionary

                        By

                        “Improving the translation from data flow diagrams into Z by incorporating the data dictionary” Metadata:

                        • Title: ➤  Improving the translation from data flow diagrams into Z by incorporating the data dictionary
                        • Author:
                        • Language: English
                        • Number of Pages: Median: 21
                        • Publisher: ➤  Procurement Executive, Ministry of Defence, RSRE
                        • Publish Date:
                        • Publish Location: Malvern, Worcestershire

                        “Improving the translation from data flow diagrams into Z by incorporating the data dictionary” Subjects and Themes:

                        Edition Identifiers:

                        Access and General Info:

                        • First Year Published: 1992
                        • Is Full Text Available: No
                        • Is The Book Public: No
                        • Access Status: No_ebook

                        Online Marketplaces

                        Find Improving the translation from data flow diagrams into Z by incorporating the data dictionary at online marketplaces:


                        26ZB 2003 : Formal Specification and Development in Z and B

                        By

                        “ZB 2003 : Formal Specification and Development in Z and B” Metadata:

                        • Title: ➤  ZB 2003 : Formal Specification and Development in Z and B
                        • Authors:
                        • Language: English
                        • Publisher: Springer London, Limited
                        • Publish Date:

                        “ZB 2003 : Formal Specification and Development in Z and B” Subjects and Themes:

                        Edition Identifiers:

                        Access and General Info:

                        • First Year Published: 2003
                        • Is Full Text Available: No
                        • Is The Book Public: No
                        • Access Status: No_ebook

                        Online Marketplaces

                        Find ZB 2003 : Formal Specification and Development in Z and B at online marketplaces:


                        27Structure and Interpretation of Computer Programs in Visual Language Zed

                        By

                        “Structure and Interpretation of Computer Programs in Visual Language Zed” Metadata:

                        • Title: ➤  Structure and Interpretation of Computer Programs in Visual Language Zed
                        • Author:
                        • Language: English
                        • Number of Pages: Median: 138
                        • Publisher: ➤  CreateSpace Independent Publishing Platform
                        • Publish Date:

                        “Structure and Interpretation of Computer Programs in Visual Language Zed” Subjects and Themes:

                        Edition Identifiers:

                        Access and General Info:

                        • First Year Published: 2007
                        • Is Full Text Available: No
                        • Is The Book Public: No
                        • Access Status: No_ebook

                        Online Marketplaces

                        Find Structure and Interpretation of Computer Programs in Visual Language Zed at online marketplaces:


                        28Z in practice

                        By

                        Book's cover

                        “Z in practice” Metadata:

                        • Title: Z in practice
                        • Author:
                        • Language: English
                        • Number of Pages: Median: 407
                        • Publisher: Prentice Hall
                        • Publish Date:
                        • Publish Location: New York

                        “Z in practice” Subjects and Themes:

                        Edition Identifiers:

                        Access and General Info:

                        • First Year Published: 1994
                        • Is Full Text Available: No
                        • Is The Book Public: No
                        • Access Status: No_ebook

                        Online Marketplaces

                        Find Z in practice at online marketplaces:


                        29ZB 2005

                        By

                        Book's cover

                        “ZB 2005” Metadata:

                        • Title: ZB 2005
                        • Author: ➤  
                        • Language: English
                        • Number of Pages: Median: 491
                        • Publisher: Springer
                        • Publish Date:
                        • Publish Location: Berlin - New York

                        “ZB 2005” Subjects and Themes:

                        Edition Identifiers:

                        Access and General Info:

                        • First Year Published: 2005
                        • Is Full Text Available: No
                        • Is The Book Public: No
                        • Access Status: No_ebook

                        Online Marketplaces

                        Find ZB 2005 at online marketplaces:


                        30Z user workshop, Oxford, 1990

                        By

                        “Z user workshop, Oxford, 1990” Metadata:

                        • Title: Z user workshop, Oxford, 1990
                        • Author: ➤  
                        • Language: English
                        • Number of Pages: Median: 387
                        • Publisher: Springer-Verlag
                        • Publish Date:
                        • Publish Location: London

                        “Z user workshop, Oxford, 1990” Subjects and Themes:

                        Edition Identifiers:

                        Access and General Info:

                        • First Year Published: 1991
                        • Is Full Text Available: No
                        • Is The Book Public: No
                        • Access Status: No_ebook

                        Online Marketplaces

                        Find Z user workshop, Oxford, 1990 at online marketplaces:


                        31Z User Workshop, Cambridge, 1994

                        By

                        “Z User Workshop, Cambridge, 1994” Metadata:

                        • Title: ➤  Z User Workshop, Cambridge, 1994
                        • Author: ➤  
                        • Language: English
                        • Number of Pages: Median: 403
                        • Publisher: Springer-Verlag
                        • Publish Date:
                        • Publish Location: London - New York

                        “Z User Workshop, Cambridge, 1994” Subjects and Themes:

                        Edition Identifiers:

                        Access and General Info:

                        • First Year Published: 1994
                        • Is Full Text Available: No
                        • Is The Book Public: No
                        • Access Status: No_ebook

                        Online Marketplaces

                        Find Z User Workshop, Cambridge, 1994 at online marketplaces:


                        32Z User Workshop, Oxford, 1990

                        By

                        “Z User Workshop, Oxford, 1990” Metadata:

                        • Title: Z User Workshop, Oxford, 1990
                        • Author: ➤  
                        • Language: English
                        • Number of Pages: Median: 387
                        • Publisher: Springer-Verlag
                        • Publish Date:
                        • Publish Location: New York - London

                        “Z User Workshop, Oxford, 1990” Subjects and Themes:

                        Edition Identifiers:

                        Access and General Info:

                        • First Year Published: 1991
                        • Is Full Text Available: No
                        • Is The Book Public: No
                        • Access Status: No_ebook

                        Online Marketplaces

                        Find Z User Workshop, Oxford, 1990 at online marketplaces:


                        33Z twenty years on - what is its future ?

                        By

                        “Z twenty years on - what is its future ?” Metadata:

                        • Title: ➤  Z twenty years on - what is its future ?
                        • Author: ➤  
                        • Language: English
                        • Number of Pages: Median: 264
                        • Publisher: ➤  Institut universitaire de technologie
                        • Publish Date:
                        • Publish Location: Nantes

                        “Z twenty years on - what is its future ?” Subjects and Themes:

                        Edition Identifiers:

                        Access and General Info:

                        • First Year Published: 1995
                        • Is Full Text Available: No
                        • Is The Book Public: No
                        • Access Status: No_ebook

                        Online Marketplaces

                        Find Z twenty years on - what is its future ? at online marketplaces:


                        34Z User Workshop, York, 1991

                        By

                        “Z User Workshop, York, 1991” Metadata:

                        • Title: Z User Workshop, York, 1991
                        • Author: ➤  
                        • Language: English
                        • Number of Pages: Median: 401
                        • Publisher: Springer-Verlag
                        • Publish Date:
                        • Publish Location: London - New York

                        “Z User Workshop, York, 1991” Subjects and Themes:

                        Edition Identifiers:

                        Access and General Info:

                        • First Year Published: 1992
                        • Is Full Text Available: No
                        • Is The Book Public: No
                        • Access Status: No_ebook

                        Online Marketplaces

                        Find Z User Workshop, York, 1991 at online marketplaces:


                        35The Z formal specification notation

                        By

                        Book's cover

                        “The Z formal specification notation” Metadata:

                        • Title: ➤  The Z formal specification notation
                        • Author:
                        • Language: English
                        • Number of Pages: Median: 435
                        • Publisher: Springer
                        • Publish Date:

                        “The Z formal specification notation” Subjects and Themes:

                        Edition Identifiers:

                        First Setence:

                        "Much has been written in the past decade about the usefulness of formal methods for developing computer systems."

                        Access and General Info:

                        • First Year Published: 1997
                        • Is Full Text Available: No
                        • Is The Book Public: No
                        • Access Status: Unclassified

                        Online Access

                        Downloads Are Not Available:

                        The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.

                        Online Borrowing:

                          Online Marketplaces

                          Find The Z formal specification notation at online marketplaces:


                          36Design of embedded real-time computing systems

                          By

                          “Design of embedded real-time computing systems” Metadata:

                          • Title: ➤  Design of embedded real-time computing systems
                          • Author:
                          • Language: English
                          • Number of Pages: Median: 191
                          • Publisher: ➤  Dept. of Computer Science, Technical University of Denmark
                          • Publish Date:
                          • Publish Location: Lyngby, Denmark

                          “Design of embedded real-time computing systems” Subjects and Themes:

                          Edition Identifiers:

                          Access and General Info:

                          • First Year Published: 1995
                          • Is Full Text Available: No
                          • Is The Book Public: No
                          • Access Status: No_ebook

                          Online Marketplaces

                          Find Design of embedded real-time computing systems at online marketplaces:


                          37An Introduction to Formal Specification Using Z

                          By

                          “An Introduction to Formal Specification Using Z” Metadata:

                          • Title: ➤  An Introduction to Formal Specification Using Z
                          • Authors:
                          • Language: English
                          • Number of Pages: Median: 320
                          • Publisher: ➤  International Thomson Computer Press
                          • Publish Date:

                          “An Introduction to Formal Specification Using Z” Subjects and Themes:

                          Edition Identifiers:

                          Access and General Info:

                          • First Year Published: 1996
                          • Is Full Text Available: No
                          • Is The Book Public: No
                          • Access Status: No_ebook

                          Online Access

                          Downloads Are Not Available:

                          The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.

                          Online Borrowing:

                            Online Marketplaces

                            Find An Introduction to Formal Specification Using Z at online marketplaces:


                            38Formal Object Oriented Specification Using Object-Z

                            By

                            Book's cover

                            “Formal Object Oriented Specification Using Object-Z” Metadata:

                            • Title: ➤  Formal Object Oriented Specification Using Object-Z
                            • Authors:
                            • Number of Pages: Median: 240
                            • Publisher: Palgrave Macmillan
                            • Publish Date:

                            “Formal Object Oriented Specification Using Object-Z” Subjects and Themes:

                            Edition Identifiers:

                            Access and General Info:

                            • First Year Published: 2000
                            • Is Full Text Available: No
                            • Is The Book Public: No
                            • Access Status: No_ebook

                            Online Access

                            Downloads Are Not Available:

                            The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.

                            Online Borrowing:

                              Online Marketplaces

                              Find Formal Object Oriented Specification Using Object-Z at online marketplaces:


                              39ZB 2002: formal specification and development in Z and B

                              By

                              Book's cover

                              “ZB 2002: formal specification and development in Z and B” Metadata:

                              • Title: ➤  ZB 2002: formal specification and development in Z and B
                              • Author: ➤  
                              • Language: English
                              • Number of Pages: Median: 534
                              • Publisher: Springer
                              • Publish Date:
                              • Publish Location: Berlin

                              “ZB 2002: formal specification and development in Z and B” Subjects and Themes:

                              Edition Identifiers:

                              Access and General Info:

                              • First Year Published: 2002
                              • Is Full Text Available: Yes
                              • Is The Book Public: No
                              • Access Status: Printdisabled

                              Online Access

                              Downloads Are Not Available:

                              The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.

                              Online Borrowing:

                                Online Marketplaces

                                Find ZB 2002: formal specification and development in Z and B at online marketplaces:


                                40Refinement in Z and ObjectZ

                                By

                                Book's cover

                                “Refinement in Z and ObjectZ” Metadata:

                                • Title: Refinement in Z and ObjectZ
                                • Author:
                                • Number of Pages: Median: 510
                                • Publisher: Springer London Ltd - Springer
                                • Publish Date:

                                “Refinement in Z and ObjectZ” Subjects and Themes:

                                Edition Identifiers:

                                Access and General Info:

                                • First Year Published: 2013
                                • Is Full Text Available: No
                                • Is The Book Public: No
                                • Access Status: No_ebook

                                Online Marketplaces

                                Find Refinement in Z and ObjectZ at online marketplaces:


                                41Abstract State Machines Alloy B And Z

                                By

                                Book's cover

                                “Abstract State Machines Alloy B And Z” Metadata:

                                • Title: ➤  Abstract State Machines Alloy B And Z
                                • Author:
                                • Publisher: Springer
                                • Publish Date:

                                “Abstract State Machines Alloy B And Z” Subjects and Themes:

                                Edition Identifiers:

                                Access and General Info:

                                • First Year Published: 2010
                                • Is Full Text Available: No
                                • Is The Book Public: No
                                • Access Status: Unclassified

                                Online Access

                                Downloads Are Not Available:

                                The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.

                                Online Borrowing:

                                  Online Marketplaces

                                  Find Abstract State Machines Alloy B And Z at online marketplaces:


                                  42Abstract State Machines B And Z First International Conference Abz 2008 London Uk September 1618 2008 Proceedings

                                  By

                                  Book's cover

                                  “Abstract State Machines B And Z First International Conference Abz 2008 London Uk September 1618 2008 Proceedings” Metadata:

                                  • Title: ➤  Abstract State Machines B And Z First International Conference Abz 2008 London Uk September 1618 2008 Proceedings
                                  • Author:
                                  • Number of Pages: Median: 382
                                  • Publisher: Springer
                                  • Publish Date:

                                  “Abstract State Machines B And Z First International Conference Abz 2008 London Uk September 1618 2008 Proceedings” Subjects and Themes:

                                  Edition Identifiers:

                                  Access and General Info:

                                  • First Year Published: 2008
                                  • Is Full Text Available: No
                                  • Is The Book Public: No
                                  • Access Status: No_ebook

                                  Online Marketplaces

                                  Find Abstract State Machines B And Z First International Conference Abz 2008 London Uk September 1618 2008 Proceedings at online marketplaces:


                                  43Object orientation in Z

                                  By

                                  Book's cover

                                  “Object orientation in Z” Metadata:

                                  • Title: Object orientation in Z
                                  • Authors:
                                  • Language: English
                                  • Number of Pages: Median: 144
                                  • Publisher: Springer
                                  • Publish Date:

                                  “Object orientation in Z” Subjects and Themes:

                                  Edition Identifiers:

                                  Access and General Info:

                                  • First Year Published: 1992
                                  • Is Full Text Available: No
                                  • Is The Book Public: No
                                  • Access Status: No_ebook

                                  Online Access

                                  Downloads Are Not Available:

                                  The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.

                                  Online Borrowing:

                                    Online Marketplaces

                                    Find Object orientation in Z at online marketplaces:


                                    44The Object-Z specification language

                                    By

                                    Book's cover

                                    “The Object-Z specification language” Metadata:

                                    • Title: ➤  The Object-Z specification language
                                    • Author:
                                    • Language: English
                                    • Number of Pages: Median: 146
                                    • Publisher: Kluwer Academic
                                    • Publish Date:
                                    • Publish Location: Boston

                                    “The Object-Z specification language” Subjects and Themes:

                                    Edition Identifiers:

                                    Access and General Info:

                                    • First Year Published: 2000
                                    • Is Full Text Available: No
                                    • Is The Book Public: No
                                    • Access Status: No_ebook

                                    Online Marketplaces

                                    Find The Object-Z specification language at online marketplaces:


                                    45ZB 2002: formal specification and development in Z and B

                                    Book's cover

                                    “ZB 2002: formal specification and development in Z and B” Metadata:

                                    • Title: ➤  ZB 2002: formal specification and development in Z and B
                                    • Language: English
                                    • Number of Pages: Median: 535
                                    • Publisher: Springer
                                    • Publish Date:

                                    “ZB 2002: formal specification and development in Z and B” Subjects and Themes:

                                    Edition Identifiers:

                                    First Setence:

                                    "A classic paper by Burstall and Goguen in 1977 [2] taught us to think about data types used in computer programs as logical theories, presented by axioms, whose properties can be explored by logical deduction."

                                    Access and General Info:

                                    • First Year Published: 2002
                                    • Is Full Text Available: No
                                    • Is The Book Public: No
                                    • Access Status: No_ebook

                                    Online Access

                                    Downloads Are Not Available:

                                    The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.

                                    Online Borrowing:

                                      Online Marketplaces

                                      Find ZB 2002: formal specification and development in Z and B at online marketplaces:


                                      46ZB 2005

                                      Book's cover

                                      “ZB 2005” Metadata:

                                      • Title: ZB 2005
                                      • Language: English
                                      • Number of Pages: Median: 493
                                      • Publisher: Springer
                                      • Publish Date:

                                      “ZB 2005” Subjects and Themes:

                                      Edition Identifiers:

                                      First Setence:

                                      "The B-method, originally devised by J.-R. Abrial [1], is a theory and methodology for formal development of computer systems."

                                      Access and General Info:

                                      • First Year Published: 1899
                                      • Is Full Text Available: No
                                      • Is The Book Public: No
                                      • Access Status: No_ebook

                                      Online Access

                                      Downloads Are Not Available:

                                      The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.

                                      Online Borrowing:

                                        Online Marketplaces

                                        Find ZB 2005 at online marketplaces:


                                        47The Z formal specification notation

                                        By

                                        Book's cover

                                        “The Z formal specification notation” Metadata:

                                        • Title: ➤  The Z formal specification notation
                                        • Authors:
                                        • Language: English
                                        • Number of Pages: Median: 417
                                        • Publisher: Springer
                                        • Publish Date:

                                        “The Z formal specification notation” Subjects and Themes:

                                        Edition Identifiers:

                                        Access and General Info:

                                        • First Year Published: 1998
                                        • Is Full Text Available: No
                                        • Is The Book Public: No
                                        • Access Status: No_ebook

                                        Online Access

                                        Downloads Are Not Available:

                                        The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.

                                        Online Borrowing:

                                          Online Marketplaces

                                          Find The Z formal specification notation at online marketplaces:


                                          48ZUM '95: The Z Formal Specification Notation

                                          By

                                          Book's cover

                                          “ZUM '95: The Z Formal Specification Notation” Metadata:

                                          • Title: ➤  ZUM '95: The Z Formal Specification Notation
                                          • Author:
                                          • Language: English
                                          • Number of Pages: Median: 569
                                          • Publisher: Springer
                                          • Publish Date:

                                          “ZUM '95: The Z Formal Specification Notation” Subjects and Themes:

                                          Edition Identifiers:

                                          First Setence:

                                          "One of the many mistakes made in the early days of Computer Science was using the term "language" to describe things like FORTRAN, C, Modula, ADA, or ML In normal usage, "language" denotes a set of signals, symbols and conventions for formulating, communicating, and recording facts (or ideas) between people."

                                          Access and General Info:

                                          • First Year Published: 1995
                                          • Is Full Text Available: No
                                          • Is The Book Public: No
                                          • Access Status: No_ebook

                                          Online Access

                                          Downloads Are Not Available:

                                          The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.

                                          Online Borrowing:

                                            Online Marketplaces

                                            Find ZUM '95: The Z Formal Specification Notation at online marketplaces:


                                            Top of Page