Explore: Programmierlogik

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

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

Topic Search

Search for any topic

AI-Generated Overview About “programmierlogik”:


Books Results

Source: The Open Library

The Open Library Search Results

Search results from The Open Library

1Computer science logic

By

Book's cover

“Computer science logic” Metadata:

  • Title: Computer science logic
  • Author: ➤  
  • Language: English
  • Number of Pages: Median: 565
  • Publisher: Springer
  • Publish Date:
  • Publish Location: New York - Berlin

“Computer science logic” Subjects and Themes:

Edition Identifiers:

Access and General Info:

  • First Year Published: 2005
  • 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 Computer science logic at online marketplaces:


    2Programming Languages and Systems

    By

    Book's cover

    “Programming Languages and Systems” Metadata:

    • Title: ➤  Programming Languages and Systems
    • Author:
    • Language: English
    • Number of Pages: Median: 376
    • Publisher: ➤  Springer-Verlag Berlin Heidelberg - Springer
    • Publish Date:
    • Publish Location: Berlin, Heidelberg

    “Programming Languages and Systems” Subjects and Themes:

    Edition Identifiers:

    Access and General Info:

    • First Year Published: 2009
    • 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 Programming Languages and Systems at online marketplaces:


      3A connotational theory of program structure

      By

      Book's cover

      “A connotational theory of program structure” Metadata:

      • Title: ➤  A connotational theory of program structure
      • Author:
      • Language: English
      • Number of Pages: Median: 187
      • Publisher: ➤  Springer-Verlag - Springer Berlin / Heidelberg
      • Publish Date:
      • Publish Location: New York - Berlin

      “A connotational theory of program structure” 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 A connotational theory of program structure at online marketplaces:


      4From logic design to logic programming

      By

      Book's cover

      “From logic design to logic programming” Metadata:

      • Title: ➤  From logic design to logic programming
      • Author:
      • Language: English
      • Number of Pages: Median: 127
      • Publisher: Springer-Verlag - Springer
      • Publish Date:
      • Publish Location: London - Berlin

      “From logic design to logic programming” 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 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 From logic design to logic programming at online marketplaces:


        5Logics of Programs and Their Applications

        By

        Book's cover

        “Logics of Programs and Their Applications” Metadata:

        • Title: ➤  Logics of Programs and Their Applications
        • Author:
        • Language: English
        • Number of Pages: Median: 336
        • Publisher: Springer
        • Publish Date:

        “Logics of Programs and Their Applications” Subjects and Themes:

        Edition Identifiers:

        Access and General Info:

        • First Year Published: 1983
        • 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 Logics of Programs and Their Applications at online marketplaces:


          6Logic, language, information, and computation

          By

          “Logic, language, information, and computation” Metadata:

          • Title: ➤  Logic, language, information, and computation
          • Author: ➤  
          • Language: English
          • Number of Pages: Median: 281
          • Publisher: Springer
          • Publish Date:
          • Publish Location: Berlin - New York

          “Logic, language, information, and computation” 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 Logic, language, information, and computation at online marketplaces:


          7Verification of object-oriented software

          By

          Book's cover

          “Verification of object-oriented software” Metadata:

          • Title: ➤  Verification of object-oriented software
          • Author:
          • Language: English
          • Number of Pages: Median: 658
          • Publisher: Springer
          • Publish Date:

          “Verification of object-oriented software” 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: 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 Verification of object-oriented software at online marketplaces:


            8Logic-Based Program Synthesis and Transformation

            By

            Book's cover

            “Logic-Based Program Synthesis and Transformation” Metadata:

            • Title: ➤  Logic-Based Program Synthesis and Transformation
            • Author:
            • Language: English
            • Number of Pages: Median: 215
            • Publisher: ➤  Springer-Verlag Berlin Heidelberg - Springer
            • Publish Date:
            • Publish Location: Berlin, Heidelberg

            “Logic-Based Program Synthesis and Transformation” Subjects and Themes:

            Edition Identifiers:

            Access and General Info:

            • First Year Published: 2010
            • 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 Logic-Based Program Synthesis and Transformation at online marketplaces:


              9Logic Language Information And Computation 16th International Workshop Wollic 2009 Tokyo Japan June 2124 2009 Proceedings

              By

              Book's cover

              “Logic Language Information And Computation 16th International Workshop Wollic 2009 Tokyo Japan June 2124 2009 Proceedings” Metadata:

              • Title: ➤  Logic Language Information And Computation 16th International Workshop Wollic 2009 Tokyo Japan June 2124 2009 Proceedings
              • Author:
              • Publisher: Springer
              • Publish Date:

              “Logic Language Information And Computation 16th International Workshop Wollic 2009 Tokyo Japan June 2124 2009 Proceedings” Subjects and Themes:

              Edition Identifiers:

              Access and General Info:

              • First Year Published: 2009
              • 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 Logic Language Information And Computation 16th International Workshop Wollic 2009 Tokyo Japan June 2124 2009 Proceedings at online marketplaces:


                10Logic Language Information And Computation 17th International Workshop Wollic 2010 Brasilia Brazil July 69 2010 Proceedings

                By

                Book's cover

                “Logic Language Information And Computation 17th International Workshop Wollic 2010 Brasilia Brazil July 69 2010 Proceedings” Metadata:

                • Title: ➤  Logic Language Information And Computation 17th International Workshop Wollic 2010 Brasilia Brazil July 69 2010 Proceedings
                • Author:
                • Publisher: Springer
                • Publish Date:

                “Logic Language Information And Computation 17th International Workshop Wollic 2010 Brasilia Brazil July 69 2010 Proceedings” Subjects and Themes:

                Edition Identifiers:

                Access and General Info:

                • First Year Published: 2010
                • 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 Logic Language Information And Computation 17th International Workshop Wollic 2010 Brasilia Brazil July 69 2010 Proceedings at online marketplaces:


                  11Computer science logic

                  By

                  Book's cover

                  “Computer science logic” Metadata:

                  • Title: Computer science logic
                  • Author: ➤  
                  • Language: English
                  • Number of Pages: Median: 546
                  • Publisher: Springer
                  • Publish Date:
                  • Publish Location: Berlin - New York

                  “Computer science logic” 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 Computer science logic at online marketplaces:


                    12Computer science logic

                    By

                    Book's cover

                    “Computer science logic” Metadata:

                    • Title: Computer science logic
                    • Author: ➤  
                    • Language: English
                    • Number of Pages: Median: 565
                    • Publisher: Springer
                    • Publish Date:
                    • Publish Location: Berlin - New York

                    “Computer science logic” Subjects and Themes:

                    Edition Identifiers:

                    Access and General Info:

                    • First Year Published: 2009
                    • 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 Computer science logic at online marketplaces:


                      13Frontiers of combining systems

                      By

                      Book's cover

                      “Frontiers of combining systems” Metadata:

                      • Title: Frontiers of combining systems
                      • Author: ➤  
                      • Language: English
                      • Number of Pages: Median: 382
                      • Publisher: Springer
                      • Publish Date:
                      • Publish Location: New York - Berlin

                      “Frontiers of combining systems” Subjects and Themes:

                      Edition Identifiers:

                      Access and General Info:

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

                      Online Marketplaces

                      Find Frontiers of combining systems at online marketplaces: