Explore: Correctness

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

Learn more about Correctness with top reads curated from trusted sources — all in one place.

Topic Search

Search for any topic

AI-Generated Overview About “correctness”:


Books Results

Source: The Open Library

The Open Library Search Results

Search results from The Open Library

1Correctness Problem in Computer Science (International lecture series in computer science)

By

Book's cover

“Correctness Problem in Computer Science (International lecture series in computer science)” Metadata:

  • Title: ➤  Correctness Problem in Computer Science (International lecture series in computer science)
  • Authors:
  • Language: English
  • Number of Pages: Median: 279
  • Publisher: Academic Press
  • Publish Date:
  • Publish Location: New York - London

“Correctness Problem in Computer Science (International lecture series in computer science)” Subjects and Themes:

Edition Identifiers:

Access and General Info:

  • First Year Published: 1981
  • 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 Correctness Problem in Computer Science (International lecture series in computer science) at online marketplaces:


2Mathematical theory of program correctness

By

Book's cover

“Mathematical theory of program correctness” Metadata:

  • Title: ➤  Mathematical theory of program correctness
  • Author:
  • Language: English
  • Number of Pages: Median: 505
  • Publisher: Prentice-Hall International
  • Publish Date:
  • Publish Location: Englewood Cliffs, N.J

“Mathematical theory of program correctness” Subjects and Themes:

Edition Identifiers:

Access and General Info:

  • First Year Published: 1980
  • 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 Mathematical theory of program correctness at online marketplaces:


3On reductions and livelocks in asynchronous parallel computation

By

Book's cover

“On reductions and livelocks in asynchronous parallel computation” Metadata:

  • Title: ➤  On reductions and livelocks in asynchronous parallel computation
  • Author:
  • Language: English
  • Number of Pages: Median: 107
  • Publisher: UMI Research Press
  • Publish Date:
  • Publish Location: Ann Arbor, Mich

“On reductions and livelocks in asynchronous parallel computation” Subjects and Themes:

Edition Identifiers:

Access and General Info:

  • First Year Published: 1982
  • 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 On reductions and livelocks in asynchronous parallel computation at online marketplaces:


4Artificial Unintelligence

By

Book's cover

“Artificial Unintelligence” Metadata:

  • Title: Artificial Unintelligence
  • Author:
  • Language: English
  • Number of Pages: Median: 248
  • Publisher: ➤  MITPress - MIT Press - The MIT Press - Tantor Audio
  • Publish Date:

“Artificial Unintelligence” Subjects and Themes:

Edition Identifiers:

Access and General Info:

  • First Year Published: 2018
  • 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 Artificial Unintelligence at online marketplaces:


    5Automated defect prevention

    By

    Book's cover

    “Automated defect prevention” Metadata:

    • Title: Automated defect prevention
    • Author:
    • Language: English
    • Number of Pages: Median: 436
    • Publisher: ➤  Wiley-IEEE Computer Society Pr - Wiley - IEEE Computer Society Press
    • Publish Date:
    • Publish Location: Hoboken, N.J

    “Automated defect prevention” 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 Automated defect prevention at online marketplaces:


    6Accuracy and reliability in scientific computing

    By

    Book's cover

    “Accuracy and reliability in scientific computing” Metadata:

    • Title: ➤  Accuracy and reliability in scientific computing
    • Author:
    • Language: English
    • Number of Pages: Median: 338
    • Publisher: ➤  Society for Industrial and Applied Mathematics
    • Publish Date:
    • Publish Location: ➤  Philadelphia - Philadelphia, PA

    “Accuracy and reliability in scientific computing” 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: 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 Accuracy and reliability in scientific computing at online marketplaces:


      7Software Exorcism: A Handbook for Debugging and Optimizing Legacy Code

      By

      Book's cover

      “Software Exorcism: A Handbook for Debugging and Optimizing Legacy Code” Metadata:

      • Title: ➤  Software Exorcism: A Handbook for Debugging and Optimizing Legacy Code
      • Author:
      • Language: English
      • Number of Pages: Median: 351
      • Publisher: Apress - Imprint: Apress
      • Publish Date:
      • Publish Location: Berkeley, CA

      “Software Exorcism: A Handbook for Debugging and Optimizing Legacy Code” Subjects and Themes:

      Edition Identifiers:

      Access and General Info:

      • First Year Published: 2012
      • 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 Exorcism: A Handbook for Debugging and Optimizing Legacy Code at online marketplaces:


        8Variations on Constants

        By

        Book's cover

        “Variations on Constants” Metadata:

        • Title: Variations on Constants
        • Author:
        • Language: English
        • Number of Pages: Median: 177
        • Publisher: ➤  Springer - Springer London, Limited
        • Publish Date:

        “Variations on Constants” Subjects and Themes:

        Edition Identifiers:

        Access and General Info:

        • First Year Published: 2006
        • 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 Variations on Constants at online marketplaces:


          9Information systems, correctness and reusability

          By

          “Information systems, correctness and reusability” Metadata:

          • Title: ➤  Information systems, correctness and reusability
          • Author: ➤  
          • Language: English
          • Number of Pages: Median: 291
          • Publisher: World Scientific
          • Publish Date:
          • Publish Location: Singapore - New Jersey

          “Information systems, correctness and reusability” 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 Information systems, correctness and reusability at online marketplaces:


          10Proving termination properties of PROLOG programs

          By

          “Proving termination properties of PROLOG programs” Metadata:

          • Title: ➤  Proving termination properties of PROLOG programs
          • Author:
          • Language: English
          • Number of Pages: Median: 13
          • Publisher: ➤  Dept. of Computer Science, Stanford University
          • Publish Date:
          • Publish Location: Stanford, Calif

          “Proving termination properties of PROLOG programs” Subjects and Themes:

          Edition Identifiers:

          • The Open Library ID: OL2233632M
          • Online Computer Library Center (OCLC) ID: 19271954
          • Library of Congress Control Number (LCCN): 89102094

          Access and General Info:

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

          Online Marketplaces

          Find Proving termination properties of PROLOG programs at online marketplaces:


          11Algebras for some input/output semantics

          By

          “Algebras for some input/output semantics” Metadata:

          • Title: ➤  Algebras for some input/output semantics
          • Author:
          • Language: English
          • Number of Pages: Median: 39
          • Publisher: ➤  Institute of Computer Science, Polish Academy of Sciences
          • Publish Date:
          • Publish Location: Warsaw

          “Algebras for some input/output semantics” Subjects and Themes:

          Edition Identifiers:

          Access and General Info:

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

          Online Marketplaces

          Find Algebras for some input/output semantics at online marketplaces:


          12Weak logic theory

          By

          “Weak logic theory” Metadata:

          • Title: Weak logic theory
          • Author:
          • Language: English
          • Number of Pages: Median: 107
          • Publisher: ➤  University of Oslo, Institute of Informatics
          • Publish Date:
          • Publish Location: Oslo, Norway

          “Weak logic theory” Subjects and Themes:

          Edition Identifiers:

          Access and General Info:

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

          Online Marketplaces

          Find Weak logic theory at online marketplaces:


          13Model-based execution monitoring

          By

          “Model-based execution monitoring” Metadata:

          • Title: ➤  Model-based execution monitoring
          • Author:
          • Language: English
          • Number of Pages: Median: 152
          • Publisher: ➤  Dept. of Computer and Information Science, Linköpings universitet
          • Publish Date:
          • Publish Location: Linköping, Sweden

          “Model-based execution monitoring” Subjects and Themes:

          Edition Identifiers:

          Access and General Info:

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

          Online Marketplaces

          Find Model-based execution monitoring at online marketplaces:


          14Ruggedized minicomputer hardware and software topics, 1981

          By

          “Ruggedized minicomputer hardware and software topics, 1981” Metadata:

          • Title: ➤  Ruggedized minicomputer hardware and software topics, 1981
          • Author: ➤  
          • Language: English
          • Number of Pages: Median: 221
          • Publisher: ➤  National Aeronautics and Space Administration, Scientific and Technical Information Branch - For sale by the National Technical Information Service]
          • Publish Date:
          • Publish Location: ➤  Washington, D.C - [Springfield, Va

          “Ruggedized minicomputer hardware and software topics, 1981” 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 Ruggedized minicomputer hardware and software topics, 1981 at online marketplaces:


          15Algebra, combinatorics and logic in computer science

          By

          “Algebra, combinatorics and logic in computer science” Metadata:

          • Title: ➤  Algebra, combinatorics and logic in computer science
          • Author: ➤  
          • Language: English
          • Publisher: North Holland
          • Publish Date:
          • Publish Location: Amsterdam - New York

          “Algebra, combinatorics and logic in computer science” Subjects and Themes:

          Edition Identifiers:

          Access and General Info:

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

          Online Marketplaces

          Find Algebra, combinatorics and logic in computer science at online marketplaces:


          16Symposium on Logic in Computer Science

          By

          Book's cover

          “Symposium on Logic in Computer Science” Metadata:

          • Title: ➤  Symposium on Logic in Computer Science
          • Author: ➤  
          • Language: English
          • Number of Pages: Median: 383
          • Publisher: IEEE Computer Society Press
          • Publish Date:
          • Publish Location: Washington, DC

          “Symposium on Logic in Computer Science” Subjects and Themes:

          Edition Identifiers:

          Access and General Info:

          • First Year Published: 1986
          • 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 Symposium on Logic in Computer Science at online marketplaces:


            17A multiprocessor execution profiler

            By

            “A multiprocessor execution profiler” Metadata:

            • Title: ➤  A multiprocessor execution profiler
            • Author:
            • Language: English
            • Publisher: Rand Corp.
            • Publish Date:
            • Publish Location: Santa Monica, Ca

            “A multiprocessor execution profiler” 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 A multiprocessor execution profiler at online marketplaces:


            18Concurrency, Compositionality, and Correctness

            By

            Book's cover

            “Concurrency, Compositionality, and Correctness” Metadata:

            • Title: ➤  Concurrency, Compositionality, and Correctness
            • Author:
            • Language: English
            • Publisher: Springer Berlin Heidelberg
            • Publish Date:
            • Publish Location: Berlin, Heidelberg

            “Concurrency, Compositionality, and Correctness” 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: 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 Concurrency, Compositionality, and Correctness at online marketplaces:


              19Difficulties of novice computer programmers

              By

              “Difficulties of novice computer programmers” Metadata:

              • Title: ➤  Difficulties of novice computer programmers
              • Authors: ➤  
              • Language: English
              • Number of Pages: Median: 41
              • Publish Date:

              “Difficulties of novice computer programmers” Subjects and Themes:

              Edition Identifiers:

              Access and General Info:

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

              Online Marketplaces

              Find Difficulties of novice computer programmers at online marketplaces:


              20The automatic generation of syntax directed editors

              By

              Book's cover

              “The automatic generation of syntax directed editors” Metadata:

              • Title: ➤  The automatic generation of syntax directed editors
              • Author:
              • Language: English
              • Number of Pages: Median: 44
              • Publisher: Naval Postgraduate School
              • Publish Date:
              • Publish Location: Monterey, Calif

              “The automatic generation of syntax directed editors” Subjects and Themes:

              Edition Identifiers:

              Access and General Info:

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

              Online Access

              Downloads:

                Online Borrowing:

                Online Marketplaces

                Find The automatic generation of syntax directed editors at online marketplaces:


                Top of Page