Format:
Online-Ressource
ISBN:
9783540387954
Series Statement:
Lecture Notes in Computer Science 124
Additional Edition:
ISBN 9783540108863
Additional Edition:
Buchausg. u.d.T. Polak, Wolfgang Compiler specification and verification Berlin : Springer, 1981 ISBN 3540108866
Additional Edition:
ISBN 0387108866
Language:
English
Subjects:
Computer Science
,
Economics
Keywords:
Compiler
;
Programmierung
;
Verifikation
;
Compiler
;
Verifikation
;
Compiler
DOI:
10.1007/3-540-10886-6