Treffer 1 – 2 von 2 für Suche 'Schweizer, Daniel T. 1963-', Suchdauer: 0,04s 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
    Verifikation von Implementationen abstrakter Datentypen für sicherheitskritische Systeme am Beispiel von Oberon

    Verifikation von Implementationen abstrakter Datentypen für sicherheitskritische Systeme am Beispiel von Oberon von Schweizer, Daniel T. 1963-

    Veröffentlicht 1997
    Abschlussarbeit Mikrofilm Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Verifikation von Implementationen abstrakter Datentypen für sicherheitskritische Systeme am Beispiel von Oberon

    Verifikation von Implementationen abstrakter Datentypen für sicherheitskritische Systeme am Beispiel von Oberon von Schweizer, Daniel T. 1963-

    Veröffentlicht 1997
    Abschlussarbeit Mikrofilm Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: