Gå direkte til innholdet
Maschinen-unabhängige Code-Erzeugung als semantikerhaltende beweisbare Programmtransformation
Maschinen-unabhängige Code-Erzeugung als semantikerhaltende beweisbare Programmtransformation
Spar

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

Forfatter:
Tysk
Les i Adobe DRM-kompatibelt e-bokleserDenne e-boka er kopibeskyttet med Adobe DRM som påvirker hvor du kan lese den. Les mer
Forfatter
H. Stoyan
ISBN
9783662085257
Språk
Tysk
Utgivelsesdato
9.3.2013
Tilgjengelige elektroniske format
  • PDF - Adobe DRM
Les e-boka her
  • E-bokleser i mobil/nettbrett
  • Lesebrett
  • Datamaskin