Direkt zur Hauptnavigation springen Direkt zum Inhalt springen
Letzte Suchanfragen

Ergebnisse für *

Es wurden 1 Ergebnisse gefunden.

Zeige Ergebnisse 1 bis 1 von 1.

Sortieren

  1. The logical basis for computer programming
    2, Deductive systems
    Autor*in: Manna, Zohar
    Erschienen: 1990
    Verlag:  Addison-Wesley, Reading, Mass. [u.a.]

    Standort:
    TU Darmstadt, Universitäts- und Landesbibliothek - Stadtmitte
    Signatur:
    /ST 304 M282-2
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Standort:
    TU Darmstadt, Universitäts- und Landesbibliothek - Stadtmitte
    Signatur:
    /ST 304 M282-2
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)

    Standort:
    Universitätsbibliothek J. C. Senckenberg, Informatikbibliothek
    Signatur:
    D.3-609 ex 2
    Fernleihe:
    keine Fernleihe
    Standort:
    Universitätsbibliothek J. C. Senckenberg, Informatikbibliothek
    Signatur:
    D.3-609
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Quelle: Verbundkataloge
    Beteiligt: Waldinger, Richard
    Sprache: Englisch
    Medientyp: Mehrbändiges Werk
    Format: Druck
    Übergeordneter Titel: The logical basis for computer programming - Alle Bände anzeigen
    RVK Klassifikation: ST 120 ; ST 304 ; ES 920
    Schlagworte: Programmierlogik; Programmierung; Mathematische Logik
    Umfang: XIII, 642 S., graph. Darst.