Maschinen-unabhängige Code-Erzeugung als semantikerhaltende beweisbare Programmtransformation | Autor, ISBN und Ausgabedetails
26.09.2026
Lesedauer: 3 min
Alle Kerninfos zu Maschinen-unabhängige Code-Erzeugung als semantikerhaltende beweisbare Programmtransformation von Herbert Stoyan auf einen Blick: Inhalt und Buchdetails. Gut, wenn du Inhalt und Eckdaten ohne Umwege sehen willst.
Maschinen-unabhängige Code-Erzeugung als semantikerhaltende beweisbare Programmtransformation | Autor, ISBN und Ausgabedetails
Maschinen-unabhängige Code-Erzeugung als semantikerhaltende beweisbare Programmtransformation im Überblick
Maschinen-unabhängige Code-Erzeugung als semantikerhaltende beweisbare Programmtransformation von Herbert Stoyan ist ein Titel aus dem Bereich Sachbuch, der thematisch klar positioniert ist und für Leserinnen und Leser mit Interesse an diesem Fach- oder Themengebiet besonders relevant sein kann. Die Ausgabe erschien am 1984 bei Springer und ist dem Verlagsstandort Berlin zugeordnet.
Relevante Merkmale auf einen Blick
Durch die Zuordnung zur Kategorie Sachbuch wird Maschinen-unabhängige Code-Erzeugung als semantikerhaltende beweisbare Programmtransformation auch für thematische Recherchen besonders relevant. Auch das Veröffentlichungsdatum 1984 macht Maschinen-unabhängige Code-Erzeugung als semantikerhaltende beweisbare Programmtransformation für zeitlich eingegrenzte Suchen besonders interessant. Maschinen-unabhängige Code-Erzeugung als semantikerhaltende beweisbare Programmtransformation ist besonders für Leserinnen und Leser interessant, die sich gezielt mit Veröffentlichungen von Herbert Stoyan beschäftigen möchten. Mit Springer in Berlin ist die verlegerische Zuordnung der Ausgabe klar nachvollziehbar. Die Ausgabe ist in Deutsch verfügbar und damit gezielt für Leserinnen und Leser mit entsprechender Sprachpräferenz interessant.
Inhalte, Themen und Relevanz
Aus dem Inhaltsverzeichnis ergeben sich die zentralen Themenfelder und Ordnungspunkte: 1. Einleitung | 2. Lisp-Compilation Durch Semantikerhaltende Programmtransformationen | 3. Fortran-Compilation Durch Semantikerhaltende Programmtransformation | 4. Vergleiche und Konsequenzen | Literatur. Die vorhandenen Tags verdichten die inhaltliche Einordnung des Buches zusätzlich: Programmtransformation, Compiling (Electronic computers), Codegenerierung Seitenzahl und Ausgabeform - 1 Seiten im Format physical - liefern zusätzliche Orientierung für Kauf- und Rechercheentscheidungen.
Ausgabe, Identifikatoren und Referenzen
Für weiterführende bibliografische Verknüpfungen sind die Kennungen OL19885953W und OL27072949M besonders hilfreich. Für die eindeutige Identifikation der Ausgabe sind sowohl die ISBN-10 3662085259 als auch die ISBN-13 9783662085257 hinterlegt. Verlag, Ort und Datum - Springer, Berlin und 1984 - bilden zusammen einen wichtigen bibliografischen Kern dieses Datensatzes.
Bibliografische Eckdaten dieser Ausgabe
Titel: Maschinen-unabhängige Code-Erzeugung als semantikerhaltende beweisbare Programmtransformation
Inhaltsübersicht: 1. Einleitung | 2. Lisp-Compilation Durch Semantikerhaltende Programmtransformationen | 3. Fortran-Compilation Durch Semantikerhaltende Programmtransformation | 4. Vergleiche und Konsequenzen | Literatur.
Internationale Standardbuchnummer (ISBN-10): 3662085259
Relevanz für Suche und Einordnung
Die Verbindung aus Maschinen-unabhängige Code-Erzeugung als semantikerhaltende beweisbare Programmtransformation, Herbert Stoyan, Sachbuch und Programmtransformation, Compiling (Electronic computers), Codegenerierung schafft eine solide Grundlage für eine präzise thematische Suche. Mit ISBN-10, ISBN-13 und Work-ID - 3662085259, 9783662085257 und OL19885953W - lässt sich diese Ausgabe plattformübergreifend eindeutig verknüpfen.
FAQ zu Maschinen-unabhängige Code-Erzeugung als semantikerhaltende beweisbare Programmtransformation
Gibt es Informationen zum Inhaltsverzeichnis?
Ja, folgende Inhaltsübersicht ist hinterlegt: 1. Einleitung | 2. Lisp-Compilation Durch Semantikerhaltende Programmtransformationen | 3. Fortran-Compilation Durch Semantikerhaltende Programmtransformation | 4. Vergleiche und Konsequenzen | Literatur.
Wofür sind die Open-Library-IDs hilfreich?
Mit OL19885953W und OL27072949M lässt sich das Werk auch in externen bibliografischen Zusammenhängen besser verknüpfen.
Welche Verlagsangaben sind vorhanden?
Hinterlegt sind das Erscheinungsdatum 1984, der Verlag Springer und der Verlagsort Berlin.
Welche ISBN-Nummern sind für diese Ausgabe hinterlegt?
Für diese Ausgabe sind sowohl die ISBN-10 3662085259 als auch die ISBN-13 9783662085257 verfügbar.
Alles Wichtige zu Brentano in Wien Wer nach einem Buch von Dietmar Pravida aus dem Themenfeld Sachbuch sucht, findet mit Brentano in Wien eine Ausgabe mit präziser inhaltlicher Pos...
Gottes Wort als Wirklichkeit im Überblick Wer nach einem Buch von Nina-Dorothee Mützlitz aus dem Themenfeld Sachbuch sucht, findet mit Gottes Wort als Wirklichkeit eine Ausgabe mit...
Museum Schwab von Albert Hafner - Informationen zur Ausgabe Museum Schwab ist ein Werk von Albert Hafner, das innerhalb der Kategorie Sachbuch eingeordnet wird und bereits durch se...
Stefan Steiner - Buchbeschreibung, Ausstattung und ISBN Stefan Steiner gehört zur Kategorie Sachbuch und stammt von Stefan Steiner - eine Kombination, die den Titel sowohl fachlich...
Architektur für die russische Raumfahrt im Überblick Architektur für die russische Raumfahrt gehört zur Kategorie Sachbuch und stammt von Philipp Meuser, Ansgar Oswald, Maryna Demy...
Annaschda gesaat im Überblick Annaschda gesaat von Patrik H. Feltes ist ein Titel aus dem Bereich Sachbuch, der thematisch klar positioniert ist und für Leserinnen und Leser mit In...
Alles Wichtige zu Studien zur süddeutschen Skulptur der ersten Hälfte des 14. Jahrhunderts im Umkreis des Augsburger Domes Mit Studien zur süddeutschen Skulptur der ersten Hälfte d...
Alles Wichtige zu Versuch über den Pilznarren Versuch über den Pilznarren gehört zur Kategorie Sachbuch und stammt von Peter Handke - eine Kombination, die den Titel sowohl fachlic...
