Online-Ressource
Berlin, Heidelberg : Springer Berlin Heidelberg
Umfang:
Online-Ressource
ISBN:
9783540387954
Serie:
Lecture Notes in Computer Science 124
Weitere Ausg.:
ISBN 9783540108863
Weitere Ausg.:
Buchausg. u.d.T. Polak, Wolfgang Compiler specification and verification Berlin : Springer, 1981 ISBN 3540108866
Weitere Ausg.:
ISBN 0387108866
Sprache:
Englisch
Fachgebiete:
Informatik
,
Wirtschaftswissenschaften
Schlagwort(e):
Compiler
;
Programmierung
;
Verifikation
;
Compiler
;
Verifikation
;
Compiler
DOI:
10.1007/3-540-10886-6
Bibliothek |
Standort |
Signatur |
Band/Heft/Jahr |
Verfügbarkeit |