Treffer 1 – 4 von 4 für Suche 'Luft, Alfred Lothar 1944-', Suchdauer: 0,02s Treffer filtern
Es werden neben Medien der THWS auch Medien von anderen bayerischen Bibliotheken angezeigt.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
  1. 1
    Grundlagen einer Methode für die rechnergestützte Verifikation von while-Programmen während der Programmerstellung

    Grundlagen einer Methode für die rechnergestützte Verifikation von while-Programmen während der Programmerstellung von Luft, Alfred Lothar 1944-

    Veröffentlicht 1975
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Informatik - eine moderne Wissenstechnik

    Informatik - eine moderne Wissenstechnik von Luft, Alfred Lothar 1944-, Kötter, Rudolf 1947-

    Veröffentlicht 1994
    Inhaltsverzeichnis
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Rationaler Sprachgebrauch und orthosprachliche Standardisierung als Grundlagen zuverlässiger Software-Entwicklung und Dokumentation eine Studie zu Grundlagen der angewandten Informatik unter besonderer Berücksichtigung des Konzepts abstrakter Datentypen

    Rationaler Sprachgebrauch und orthosprachliche Standardisierung als Grundlagen zuverlässiger Software-Entwicklung und Dokumentation eine Studie zu Grundlagen der angewandten Inform... von Luft, Alfred Lothar 1944-

    Veröffentlicht 1982
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    Zur ingenieurwissenschaftlichen Theorie von Rechensystemen

    Zur ingenieurwissenschaftlichen Theorie von Rechensystemen von Luft, Alfred Lothar 1944-

    Veröffentlicht 1979
    Abschlussarbeit Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: