Explore: Programmtransformation

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

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

Topic Search

Search for any topic

AI-Generated Overview About “programmtransformation”:


Books Results

Source: The Open Library

The Open Library Search Results

Search results from The Open Library

1Programming 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:


    2Logic-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:


      3Program development by specification and transformation

      By

      Book's cover

      “Program development by specification and transformation” Metadata:

      • Title: ➤  Program development by specification and transformation
      • Author:
      • Language: English
      • Number of Pages: Median: 623
      • Publisher: Springer
      • Publish Date:

      “Program development by specification and transformation” Subjects and Themes:

      Edition Identifiers:

      Access and General Info:

      • First Year Published: 1993
      • 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 specification and transformation at online marketplaces:


        4Optimierung objektorientierter Programme

        By

        Book's cover

        “Optimierung objektorientierter Programme” Metadata:

        • Title: ➤  Optimierung objektorientierter Programme
        • Author:
        • Language: ger
        • Publisher: Springer Berlin Heidelberg
        • Publish Date:
        • Publish Location: Berlin, Heidelberg

        “Optimierung objektorientierter Programme” 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 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 Optimierung objektorientierter Programme at online marketplaces:


          5Maschinen-unabhängige Code-Erzeugung als semantikerhaltende beweisbare Programmtransformation

          By

          Book's cover

          “Maschinen-unabhängige Code-Erzeugung als semantikerhaltende beweisbare Programmtransformation” Metadata:

          • Title: ➤  Maschinen-unabhängige Code-Erzeugung als semantikerhaltende beweisbare Programmtransformation
          • Author:
          • Language: ger
          • Number of Pages: Median: 365
          • Publisher: Springer
          • Publish Date:
          • Publish Location: New York - Berlin

          “Maschinen-unabhängige Code-Erzeugung als semantikerhaltende beweisbare Programmtransformation” Subjects and Themes:

          Edition Identifiers:

          Access and General Info:

          • First Year Published: 1984
          • 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 Maschinen-unabhängige Code-Erzeugung als semantikerhaltende beweisbare Programmtransformation at online marketplaces:


            6Static Analysis

            By

            Book's cover

            “Static Analysis” Metadata:

            • Title: Static Analysis
            • Author:
            • Language: ger
            • Publisher: Springer Berlin Heidelberg
            • Publish Date:
            • Publish Location: Berlin, Heidelberg

            “Static Analysis” Subjects and Themes:

            Edition Identifiers:

            Access and General Info:

            • First Year Published: 2004
            • 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 Static Analysis at online marketplaces: