Für statistische Zwecke und um bestmögliche Funktionalität zu bieten, speichert diese Website Cookies auf Ihrem Gerät. Das Speichern von Cookies kann in den Browser-Einstellungen deaktiviert werden. Wenn Sie die Website weiter nutzen, stimmen Sie der Verwendung von Cookies zu.
Cookie akzeptierenW. Polak
Compiler Specification and Verification
- Springer Berlin Heidelberg
- 1981
- Taschenbuch
- 292 Seiten
- ISBN 9783540108863
Theoretical framework.- Source and target languages.- The compiler proof.- Conclusions.
24,60
€
inkl. MwSt.zzgl. Versand
in Kürze