Maschinen-unabhängige Code-Erzeugung als semantikerhaltende beweisbare Programmtransformation (e-bog) af Stoyan, H.

Stoyan, H. (forfatter)

Maschinen-unabhängige Code-Erzeugung als semantikerhaltende beweisbare Programmtransformation e-bog

421,65 DKK (ekskl. moms 337,32 DKK)

E-bog 421,65 DKK

Kan læses i vores apps til iPhone/iPad og Android.

Forfattere Stoyan, H. (forfatter)

Forlag Springer

Udgivet 09.03.2013

Genrer UMC

Sprog German

Format pdf

Beskyttelse LCP

ISBN 9783662085257

Beskrivelse