Siirry suoraan sisältöön
Maschinen-unabhängige Code-Erzeugung als semantikerhaltende beweisbare Programmtransformation
Maschinen-unabhängige Code-Erzeugung als semantikerhaltende beweisbare Programmtransformation
Tallenna

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

Lue Adobe DRM-yhteensopivassa e-kirjojen lukuohjelmassaTämä e-kirja on kopiosuojattu Adobe DRM:llä, mikä vaikuttaa siihen, millä alustalla voit lukea kirjaa. Lue lisää
Kirjailija
H. Stoyan
ISBN
9783662085257
Kieli
saksa
Julkaisupäivä
9.3.2013
Formaatti
  • PDF - Adobe DRM
Lue e-kirjoja täällä
  • Lue e-kirja mobiililaitteella/tabletilla
  • Lukulaite
  • Tietokone