Maschinen-unabhängige Code-Erzeugung als semantikerhaltende beweisbare Programmtransformation de H. Stoyan

Maschinen-unabhängige Code-Erzeugung als semantikerhaltende beweisbare Programmtransformation: Informatik-Fachberichte, cartea 91

Autor H. Stoyan

de Limba Germană Paperback – dec 1984

Din seria Informatik-Fachberichte

Preț: 360^.08 lei

Preț vechi: 450^.09 lei
-20% Nou

Puncte Express: 540

:
68^.91€ • 71^.58$ • 57^.24£

Carte tipărită la comandă

Livrare economică 03-17 februarie 25

Adaugă în coș

Wish list
Gift list
Am citit!

Adaugă în listă

Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783540138952
ISBN-10: 3540138951
Pagini: 376
Ilustrații: IV, 368 S.
Greutate: 0.6 kg
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seria Informatik-Fachberichte

Locul publicării:Berlin, Heidelberg, Germany

Public țintă

Research

Cuprins

1. Einleitung.- 2. Lisp-Compilation Durch Semantikerhaltende Programmtransformationen.- 3. Fortran-Compilation Durch Semantikerhaltende Programmtransformation.- 4. Vergleiche und Konsequenzen.- Literatur.