Explore: B (computer Program Language)

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

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

Topic Search

Search for any topic

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


Books Results

Source: The Open Library

The Open Library Search Results

Search results from The Open Library

1Specification in B

By

Book's cover

“Specification in B” Metadata:

  • Title: Specification in B
  • Author:
  • Language: English
  • Number of Pages: Median: 242
  • Publisher: ➤  Distributed by World Scientific Pub. - Imperial College Press
  • Publish Date:
  • Publish Location: ➤  London - River Edge, NJ - Singapore

“Specification in B” Subjects and Themes:

Edition Identifiers:

Access and General Info:

  • First Year Published: 1996
  • 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 Specification in B at online marketplaces:


2Software engineering with B

By

Book's cover

“Software engineering with B” Metadata:

  • Title: Software engineering with B
  • Author:
  • Language: English
  • Number of Pages: Median: 331
  • Publisher: Addison-Wesley
  • Publish Date:
  • Publish Location: ➤  Harlow, England - Reading, Mass

“Software engineering with B” 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 Software engineering with B at online marketplaces:


    3ZB 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:


      4UML-B Specification for Proven Embedded Systems Design

      By

      Book's cover

      “UML-B Specification for Proven Embedded Systems Design” Metadata:

      • Title: ➤  UML-B Specification for Proven Embedded Systems Design
      • Author:
      • Language: English
      • Number of Pages: Median: 300
      • Publisher: ➤  Kluwer Academic Publishers - Springer - Springer US - Springer London, Limited
      • Publish Date:

      “UML-B Specification for Proven Embedded Systems Design” Subjects and Themes:

      Edition Identifiers:

      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 UML-B Specification for Proven Embedded Systems Design at online marketplaces:


        5Program development by refinement

        By

        Book's cover

        “Program development by refinement” Metadata:

        • Title: ➤  Program development by refinement
        • Author:
        • Language: English
        • Number of Pages: Median: 349
        • Publisher: Springer - New York
        • Publish Date:
        • Publish Location: London

        “Program development by refinement” 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 Program development by refinement at online marketplaces:


          6ZB 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:


            7The B-book

            By

            Book's cover

            “The B-book” Metadata:

            • Title: The B-book
            • Author:
            • Language: English
            • Number of Pages: Median: 779
            • Publisher: Cambridge University Press
            • Publish Date:
            • Publish Location: New York - Cambridge

            “The B-book” 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 The B-book at online marketplaces:


              8Draft proposal for the B programming language

              By

              “Draft proposal for the B programming language” Metadata:

              • Title: ➤  Draft proposal for the B programming language
              • Author:
              • Language: English
              • Number of Pages: Median: 88
              • Publisher: Mathematisch Centrum
              • Publish Date:
              • Publish Location: Amsterdam

              “Draft proposal for the B programming language” Subjects and Themes:

              Edition Identifiers:

              Access and General Info:

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

              Online Marketplaces

              Find Draft proposal for the B programming language at online marketplaces:


              9ZB 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:


              10ZB 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:


                11The B language and method

                By

                Book's cover

                “The B language and method” Metadata:

                • Title: The B language and method
                • Author:
                • Language: English
                • Number of Pages: Median: 232
                • Publisher: Springer
                • Publish Date:
                • Publish Location: New York - London

                “The B language and method” 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 Marketplaces

                Find The B language and method at online marketplaces:


                12ZB 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:


                  13ZB 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:


                    Top of Page