Letzte Suchanfragen

Ergebnisse für *

Es wurden 3 Ergebnisse gefunden.

Zeige Ergebnisse 1 bis 3 von 3.

Sortieren

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

    TU Darmstadt, Universitäts- und Landesbibliothek - Stadtmitte
    /ST 304 M282-2
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    TU Darmstadt, Universitäts- und Landesbibliothek - Stadtmitte
    /ST 304 M282-2
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek J. C. Senckenberg, Informatikbibliothek
    D.3-609 ex 2
    keine Fernleihe
    Universitätsbibliothek J. C. Senckenberg, Informatikbibliothek
    D.3-609
    keine Fernleihe
    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.
  2. The logical basis for computer programming
    Autor*in: Manna, Zohar
    Verlag:  Addison-Wesley, Reading, Mass. [u.a.]

    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Beteiligt: Waldinger, Richard (Verfasser)
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    RVK Klassifikation: ST 125 ; ES 920
    Schlagworte: Computers; Logica E Semantica De Programacao; Logica Matematica; Logica; Logique symbolique et mathématique; Programacao De Computadores; Programmation (Informatique); Programmeren (computers); Logik; Computer programming; Logic, Symbolic and mathematical; Programmierung; Mathematische Logik; Logik
    Bemerkung(en):

    Einbänd. Ausg. (1993) u.d.T.: Manna, Zohar: The deductive foundataions of computer programming

  3. The logical basis for computer programming
    Autor*in: Manna, Zohar
    Verlag:  Addison-Wesley, Reading, Mass. u.a.

    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Beteiligt: Waldinger, Richard (Verfasser)
    Sprache: Unbestimmt
    Medientyp: Buch (Monographie)
    ISBN: 0201182602; 0201182610
    RVK Klassifikation: ES 920 ; ST 120
    Schriftenreihe: Addison-Wesley series in computer science
    Schlagworte: Programmierung; Mathematische Logik