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

Informatik als Technik-Wissenschaft e. Orientierungshilfe für d. Informatik-Studium von Luft, Alfred Lothar

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

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

Inhaltsverzeichnis

Informatik als Technik-Wissenschaft eine Orientierungshilfe für das Informatik-Studium von Luft, Alfred Lothar

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-

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

Zur ingenieurwissenschaftlichen Theorie von Rechensystemen von Luft, Alfred Lothar