Direkt zur Hauptnavigation springen Direkt zum Inhalt springen
Letzte Suchanfragen

Ergebnisse für *

Es wurden 4 Ergebnisse gefunden.

Zeige Ergebnisse 1 bis 4 von 4.

Sortieren

  1. Grammars for programming languages
    Autor*in: Cleaveland, James Craig
    Erschienen: 1977
    Verlag:  Elsevier, New York

    Standort:
    Freie Universität Berlin, Universitätsbibliothek
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Kooperativer Bibliotheksverbund Berlin-Brandenburg (KOBV)

    Standort:
    TU Berlin, Universitätsbibliothek
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Kooperativer Bibliotheksverbund Berlin-Brandenburg (KOBV)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Beteiligt: Uzgalis, Robert C. (Verfasser)
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    ISBN: 0444001875; 0444001999
    RVK Klassifikation: ST 240 ; ES 920
    Schriftenreihe: Programming languages series ; 4
    Elsevier computer science library.
    Schlagworte: Formele talen; Langages de programmation; Langages formels; Lenguajes formales; Programmeertalen; Formal languages; Programming languages (Electronic computers); Formale Sprache; Programmiersprache; Grammatik
    Umfang: XIII, 154 S., Ill.
  2. Denotational semantics
    the Scott-Strachey approch to programming language theory
    Autor*in: Stoy, Joseph E.
    Erschienen: 1977
    Verlag:  MIT Press, Cambridge, Mass.

    Standort:
    Freie Universität Berlin, Universitätsbibliothek
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Kooperativer Bibliotheksverbund Berlin-Brandenburg (KOBV)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    ISBN: 0262191474
    RVK Klassifikation: ES 915 ; ST 140
    Schriftenreihe: The MIT Press series in computer science ; 1
    Schlagworte: Langages de programmation - Sémantique; Programmeertalen; Programming languages (Electronic computers); Semantik; Programmiersprache; Lambda-Kalkül; Programmverifikation
    Umfang: XXX, 414 S.
  3. Denotational semantics
    the Scott-Strachey approch to programming language theory
    Autor*in: Stoy, Joseph E.
    Erschienen: 1977
    Verlag:  MIT Press, Cambridge, Mass.

    Standort:
    Universitätsbibliothek Augsburg
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)

    Standort:
    Universitätsbibliothek Erlangen-Nürnberg, Technisch-naturwissenschaftliche Zweigbibliothek
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)

    Standort:
    Technische Universität München, Universitätsbibliothek, Teilbibliotheken Garching
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)

    Standort:
    Universität der Bundeswehr München, Universitätsbibliothek
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    ISBN: 0262191474
    RVK Klassifikation: ES 915 ; ST 140
    Schriftenreihe: The MIT Press series in computer science ; 1
    Schlagworte: Langages de programmation - Sémantique; Programmeertalen; Programming languages (Electronic computers); Semantik; Programmiersprache; Lambda-Kalkül; Programmverifikation
    Umfang: XXX, 414 S.
  4. Grammars for programming languages
    Autor*in: Cleaveland, James Craig
    Erschienen: 1977
    Verlag:  Elsevier, New York

    Standort:
    Universitätsbibliothek Erlangen-Nürnberg, Technisch-naturwissenschaftliche Zweigbibliothek
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)

    Standort:
    Technische Universität München, Universitätsbibliothek, Teilbibliotheken Garching
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)

    Standort:
    Universität der Bundeswehr München, Universitätsbibliothek
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Beteiligt: Uzgalis, Robert C. (Verfasser)
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    ISBN: 0444001875; 0444001999
    RVK Klassifikation: ST 240 ; ES 920
    Schriftenreihe: Programming languages series ; 4
    Elsevier computer science library.
    Schlagworte: Formele talen; Langages de programmation; Langages formels; Lenguajes formales; Programmeertalen; Formal languages; Programming languages (Electronic computers); Formale Sprache; Programmiersprache; Grammatik
    Umfang: XIII, 154 S., Ill.