Data & IT
Pocket
Maschinen-unabhängige Code-Erzeugung als semantikerhaltende beweisbare Programmtransformation
H Stoyan
769:-
Uppskattad leveranstid 7-12 arbetsdagar
Fri frakt för medlemmar vid köp för minst 249:-
- Format: Pocket/Paperback
- ISBN: 9783540138952
- Språk: Tyska
- Antal sidor: 368
- Utgivningsdatum: 1984-12-01
- Förlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG