Treffer 1 – 2 von 2 für Suche 'Karp, Richard A. 1944-', Suchdauer: 0,03s 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
    Proving operating systems correct

    Proving operating systems correct von Karp, Richard A. 1944-

    Veröffentlicht 1983
    Abschlussarbeit Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Proving concurrent systems correct

    Proving concurrent systems correct von Karp, Richard A. 1944-

    Veröffentlicht 1979
    Abschlussarbeit Mikrofilm Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: