H. Stoyan Maschinen-unabhängige Code-Erzeugung als semantikerhaltende beweisbare Programmtransformation (eBook, PDF)
H. Stoyan Maschinen-unabhängige Code-Erzeugung als semantikerhaltende beweisbare Programmtransformation (eBook, PDF) Jetzt bewerten Jetzt bewerten
Bitte loggen Sie sich zunächst in Ihr Kundenkonto ein oder registrieren Sie sich bei
bücher.de, um das eBook-Abo tolino select nutzen zu können.
Hier
können Sie sich einloggen
Sie sind bereits eingeloggt. Klicken Sie auf 2. tolino select Abo, um fortzufahren.
Bitte loggen Sie sich zunächst in Ihr Kundenkonto ein oder registrieren Sie sich bei bücher.de, um das eBook-Abo tolino select nutzen zu können.
Andere Kunden interessierten sich auch für
-30%11
Günther Lamprecht
Introduction to FORTRAN 77 (eBook, PDF)
-22%11
Günther Lamprecht
Einführung in die Programmiersprache FORTRAN 77 (eBook, PDF)
-22%11
Programmierumgebungen: Entwicklungswerkzeuge und Programmiersprachen (eBook, PDF)
-22%11
Ulrich Mahn
Attributierte Grammatiken und Attributierungsalgorithmen (eBook, PDF)
-22%11
Programmiersprachen und Programmentwicklung (eBook, PDF)
-22%11
Wolfgang Tölle
C++ für Programmierer (eBook, PDF)
-22%11
Karl Kurbel
Programmierstil in Pascal, Cobol, Fortran, Basic, PL/I (eBook, PDF)
-30%11
-30%11
-22%11
Produktdetails
Verlag: Springer Berlin Heidelberg Seitenzahl: 368 Erscheinungstermin: 9. März 2013 Deutsch ISBN-13: 9783662085257 Artikelnr.: 53393711 Dieser Download kann aus rechtlichen Gründen nur mit Rechnungsadresse in A, B, BG, CY, CZ, D, DK, EW, E, FIN, F, GR, HR, H, IRL, I, LT, L, LR, M, NL, PL, P, R, S, SLO, SK ausgeliefert werden.
Die Herstellerinformationen sind derzeit nicht verfügbar.
1. Einleitung.- 2. Lisp-Compilation Durch Semantikerhaltende Programmtransformationen.- 3. Fortran-Compilation Durch Semantikerhaltende Programmtransformation.- 4. Vergleiche und Konsequenzen.- Literatur.
1. Einleitung.- 2. Lisp-Compilation Durch Semantikerhaltende Programmtransformationen.- 3. Fortran-Compilation Durch Semantikerhaltende Programmtransformation.- 4. Vergleiche und Konsequenzen.- Literatur.