

Maschinen-unabhängige Code-Erzeugung als semantikerhaltende beweisbare Programmtransformation
- Författare
- H. Stoyan
- ISBN
- 9783662085257
- Språk
- Tyska
- Utgivningsdatum
- 2013-03-09
- Tillgängliga elektroniska format
- PDF - Adobe DRM
- Läs e-boken här
- E-boksläsare i mobil/surfplatta
- Läsplatta
- Dator
