Willkommen. Schön, sind Sie da!
0
Maschinen-unabhängige Code-Erzeugung als semantikerhaltende beweisbare Programmtransformation
Von:
Beschreibung
Inhalt
- Einleitung.- 2. Lisp-Compilation Durch Semantikerhaltende Programmtransformationen.- 3. Fortran-Compilation Durch Semantikerhaltende Programmtransformation.- 4. Vergleiche und Konsequenzen.- Literatur.
Format auswählen
- E-Book (pdf)CHF 48.90
- Kartonierter EinbandCHF 63.20
E-Book (pdf)
CHF48.90
Kartonierter Einband
CHF63.20
CHF48.90
Download steht sofort bereit
Kein Rückgaberecht
Weitere Bände aus der Buchreihe "Informatik-Fachberichte"
Band 93![E-Book (pdf) Künstliche Intelligenz von]()
- Künstliche Intelligenz
