Umfang:
XIII, 269 S
,
graph. Darst.
ISBN:
3540108866
,
0387108866
Serie:
Lecture notes in computer science 124
Anmerkung:
Überarb. Diss
Weitere Ausg.:
Online-Ausg. Polak, Wolfgang Compiler specification and verification Berlin [u.a.] : Springer, 1981 ISBN 9783540387954
Weitere Ausg.:
Erscheint auch als Online-Ausgabe Polak, W. Compiler Specification and Verification Berlin, Heidelberg : Springer Berlin Heidelberg, 1981 ISBN 9783540387954
Sprache:
Englisch
Fachgebiete:
Informatik
,
Wirtschaftswissenschaften
Schlagwort(e):
Compiler
;
Programmierung
;
Verifikation
;
Compiler
;
Verifikation
;
Compiler