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.
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 Zhenjiang Hu

“Programming Languages and Systems” Metadata:
- Title: ➤ Programming Languages and Systems
- Author: Zhenjiang Hu
- Language: English
- Number of Pages: Median: 376
- Publisher: ➤ Springer-Verlag Berlin Heidelberg - Springer
- Publish Date: 2009 - 2010
- Publish Location: Berlin, Heidelberg
“Programming Languages and Systems” Subjects and Themes:
- Subjects: ➤ Logic design - Software engineering - Data protection - Computer science - Programming languages (Electronic computers) - Congresses - Programmanalyse - Kongress - Programmierlogik - Programmiersprache - Formale Methode - Programmtransformation - Programmoptimierung - Softwaresystem - Programmverifikation - Sicherheit - Computer programming - Programming languages (electronic computers)
Edition Identifiers:
- The Open Library ID: OL25555037M - OL30623942M
- Library of Congress Control Number (LCCN): 2009939533
- All ISBNs: ➤ 3642106722 - 9783642106729 - 9783642106736 - 3642106730 - 3642106714 - 9783642106712
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:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
2Logic-Based Program Synthesis and Transformation
By Danny De Schreye

“Logic-Based Program Synthesis and Transformation” Metadata:
- Title: ➤ Logic-Based Program Synthesis and Transformation
- Author: Danny De Schreye
- Language: English
- Number of Pages: Median: 215
- Publisher: ➤ Springer-Verlag Berlin Heidelberg - Springer
- Publish Date: 2010
- Publish Location: Berlin, Heidelberg
“Logic-Based Program Synthesis and Transformation” Subjects and Themes:
- Subjects: ➤ Logic design - Software engineering - Computer science - Artificial intelligence - Informatique - Programmtransformation - Logic programming - Congresses - Logische Programmierung - Logic - Beweistheorie - Programmierlogik - Programmsynthese - Software
Edition Identifiers:
- The Open Library ID: OL25564050M
- Library of Congress Control Number (LCCN): 2010924453
- All ISBNs: 3642125913 - 9783642125911 - 9783642125928 - 3642125921
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:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
3Program development by specification and transformation
By Berthold Hoffmann

“Program development by specification and transformation” Metadata:
- Title: ➤ Program development by specification and transformation
- Author: Berthold Hoffmann
- Language: English
- Number of Pages: Median: 623
- Publisher: Springer
- Publish Date: 1993
“Program development by specification and transformation” Subjects and Themes:
- Subjects: ➤ Development - Softwarespezifikation - Spécification - PANNDA - Programmtransformation - Transformation programme - Programmatuurtechniek - PROSPECTRA - Logiciels - Développement - Développement logiciel - Computer software - Software Engineering - Softwareentwicklung - Spezifikation
Edition Identifiers:
- The Open Library ID: OL12776745M
- Library of Congress Control Number (LCCN): 93029020
- All ISBNs: 9783540567332 - 354056733X
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:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
4Optimierung objektorientierter Programme
By Martin Trapp

“Optimierung objektorientierter Programme” Metadata:
- Title: ➤ Optimierung objektorientierter Programme
- Author: Martin Trapp
- Language: ger
- Publisher: Springer Berlin Heidelberg
- Publish Date: 2001
- Publish Location: Berlin, Heidelberg
“Optimierung objektorientierter Programme” Subjects and Themes:
- Subjects: ➤ Objektorientierte Programmierung - Übersetzerbau - Programmtransformation - Programmoptimierung - Programmanalyse
Edition Identifiers:
- The Open Library ID: OL27078998M
- Online Computer Library Center (OCLC) ID: 863736199
- All ISBNs: 9783642595028 - 3642595022
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:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
5Maschinen-unabhängige Code-Erzeugung als semantikerhaltende beweisbare Programmtransformation
By Herbert Stoyan

“Maschinen-unabhängige Code-Erzeugung als semantikerhaltende beweisbare Programmtransformation” Metadata:
- Title: ➤ Maschinen-unabhängige Code-Erzeugung als semantikerhaltende beweisbare Programmtransformation
- Author: Herbert Stoyan
- Language: ger
- Number of Pages: Median: 365
- Publisher: Springer
- Publish Date: 1984
- Publish Location: New York - Berlin
“Maschinen-unabhängige Code-Erzeugung als semantikerhaltende beweisbare Programmtransformation” Subjects and Themes:
- Subjects: ➤ Compiling (Electronic computers) - Programmtransformation - Codegenerierung
Edition Identifiers:
- The Open Library ID: OL27072949M
- Online Computer Library Center (OCLC) ID: 682470368
- All ISBNs: ➤ 3662085259 - 9780387138954 - 9783540138952 - 0387138951 - 3540138951 - 9783662085257
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:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
6Static Analysis
By SAS <11, 2004, Verona>

“Static Analysis” Metadata:
- Title: Static Analysis
- Author: SAS <11, 2004, Verona>
- Language: ger
- Publisher: Springer Berlin Heidelberg
- Publish Date: 2004
- Publish Location: Berlin, Heidelberg
“Static Analysis” Subjects and Themes:
- Subjects: ➤ Datenfluss - Programmtest - Programmverifikation - Statische Analyse - Kontrollfluss - Programmtransformation
Edition Identifiers:
- The Open Library ID: OL27089093M
- Online Computer Library Center (OCLC) ID: 724428787
- All ISBNs: 9783540278641 - 3540278648
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:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.