Buch
Berlin [u.a.] :Springer,
Umfang:
XIII, 269 S.
ISBN:
3-540-10886-6
,
0-387-10886-6
Serie:
Lecture notes in computer science 124
Sprache:
Englisch
Fachgebiete:
Informatik
,
Wirtschaftswissenschaften
Schlagwort(e):
Compiler
;
Programmierung
;
Verifikation
;
Compiler
;
Verifikation
;
Compiler
Bibliothek |
Standort |
Signatur |
Band/Heft/Jahr |
Verfügbarkeit |