Maschinen-unabhängige Code-Erzeugung als semantikerhaltende beweisbare Programmtransformation (eBook, PDF)
H. Stoyan
eBook, PDF

Maschinen-unabhängige Code-Erzeugung als semantikerhaltende beweisbare Programmtransformation (eBook, PDF)

Versandkostenfrei!
Sofort per Download lieferbar
Statt: 54,99 €**
42,99 €
inkl. MwSt.
**Preis der gedruckten Ausgabe (Broschiertes Buch)
Alle Infos zum eBook verschenken
Weitere Ausgaben:
PAYBACK Punkte
21 °P sammeln!
Maschinen-unabhängige Code-Erzeugung als semantikerhaltende beweisbare Programmtransformation (eBook, PDF)

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.