Explore: Transformation Programme
Discover books, insights, and more — all in one place.
Learn more about Transformation Programme with top reads curated from trusted sources — all in one place.
AI-Generated Overview About “transformation-programme”:
Books Results
Source: The Open Library
The Open Library Search Results
Search results from The Open Library
1Optimal interprocedural program optimization
By Jens Knoop

“Optimal interprocedural program optimization” Metadata:
- Title: ➤ Optimal interprocedural program optimization
- Author: Jens Knoop
- Language: English
- Number of Pages: Median: 288
- Publisher: ➤ Springer - Springer London, Limited - Springer-Verlag Telos
- Publish Date: 1998 - 1999 - 2003
- Publish Location: New York - Berlin
“Optimal interprocedural program optimization” Subjects and Themes:
- Subjects: ➤ Computer algorithms - Computer programming - Compilers (Computer programs) - Programmation - Optimaliseren - Ordinateurs - Optimisation interprocédurale - Transformation programme - Optimisation programme - Software basico - Compilateurs (logiciels) - Algorithmes - Algoritmen - Engenharia de programacao (software) - Programmation (Informatique) - Programmatuurtechniek - Programacao de computadores - Linguagens de programacao (computadores) - Verificatie - Langage procédure - Compiling (electronic computers)
Edition Identifiers:
- The Open Library ID: OL37229652M - OL9062789M - OL375689M
- Online Computer Library Center (OCLC) ID: 504363491
- Library of Congress Control Number (LCCN): 98037580
- All ISBNs: 3540651233 - 9783540496397 - 3540496394 - 9783540651239
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 Optimal interprocedural program optimization at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
2Algebraic Semantics
By I. Guessarian

“Algebraic Semantics” Metadata:
- Title: Algebraic Semantics
- Author: I. Guessarian
- Language: English
- Number of Pages: Median: 180
- Publisher: Springer
- Publish Date: 1981
“Algebraic Semantics” Subjects and Themes:
- Subjects: ➤ Sémantique algébrique - Arbre - Formale Sprache - Interprétation - Semantik - Transformation programme - Langages formels - MAGMA - Formal languages - Semantics - Programmiersprache - Algèbre - Sémantique - Schéma programme
Edition Identifiers:
- The Open Library ID: OL12771413M
- Library of Congress Control Number (LCCN): 80028426
- All ISBNs: 9783540102847 - 3540102841
Access and General Info:
- First Year Published: 1981
- 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 Algebraic Semantics 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.
4Programs as data objects
By Neil D. Jones

“Programs as data objects” Metadata:
- Title: Programs as data objects
- Author: Neil D. Jones
- Language: English
- Number of Pages: Median: 340
- Publisher: Springer
- Publish Date: 1986
“Programs as data objects” Subjects and Themes:
- Subjects: ➤ Théorie langage - Structures de données (Informatique) - Génération code - Data structures (Computer science) - Transformation programme - Programmation assistée - Processeur - Congresses - Logiciels - Computer programs - Programm - Congrès - Logique programmation - Programming languages (Electronic computers) - Semantics - Computational complexity - Data structures (computer science)
- Places: Kopenhagen <1985>
Edition Identifiers:
- The Open Library ID: OL12772251M
- Library of Congress Control Number (LCCN): 86003925
- All ISBNs: 3540164464 - 9783540164463
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 Programs as data objects at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
5Mathematics of program construction
By Jan L. A. Van de Snepscheut

“Mathematics of program construction” Metadata:
- Title: ➤ Mathematics of program construction
- Author: Jan L. A. Van de Snepscheut
- Language: English
- Number of Pages: Median: 420
- Publisher: Springer-Verlag
- Publish Date: 1989
- Publish Location: Berlin - New York
“Mathematics of program construction” Subjects and Themes:
- Subjects: ➤ Computer programming - Congresses - Computer science - Mathematics - Méthodologie analyse - Programmation - Moteur inférence - Spécification programme - Transformation programme - Construction programme
Edition Identifiers:
- The Open Library ID: OL2192726M
- Online Computer Library Center (OCLC) ID: 19846167 - 507575222
- Library of Congress Control Number (LCCN): 89011561
- All ISBNs: 0387513051 - 9780387513058
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 Mathematics of program construction at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.