Ihre E-Mail wurde erfolgreich gesendet. Bitte prüfen Sie Ihren Maileingang.

Leider ist ein Fehler beim E-Mail-Versand aufgetreten. Bitte versuchen Sie es erneut.

Vorgang fortführen?

Exportieren
  • 1
    Buch
    Buch
    Berlin : Springer
    UID:
    gbv_024230316
    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
    RVK:
    RVK:
    Schlagwort(e): Compiler ; Programmierung ; Verifikation ; Compiler ; Verifikation ; Compiler
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
Schließen ⊗
Diese Webseite nutzt Cookies und das Analyse-Tool Matomo. Weitere Informationen finden Sie auf den KOBV Seiten zum Datenschutz