Treffer 1 – 3 von 3 für Suche 'Baar, Thomas', 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
    Verifying intuition ILF checks DAWN proofs

    Verifying intuition ILF checks DAWN proofs von Baar, Thomas, Kindler, Ekkart, Völzer, Hagen 1971-

    Veröffentlicht 1999
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Einsatz von ILF und DAWN zur Verifikation verteilter Algorithmen eine Vorstudie

    Einsatz von ILF und DAWN zur Verifikation verteilter Algorithmen eine Vorstudie von Baar, Thomas, Kindler, Ekkart

    Veröffentlicht 1998
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Formaler Beweis der Korrektheitseigenschaften einer Z-Spezifikation des Alternating-Bit-Protokolls unter Benutzung des Werkzeuges ILF

    Formaler Beweis der Korrektheitseigenschaften einer Z-Spezifikation des Alternating-Bit-Protokolls unter Benutzung des Werkzeuges ILF von Baar, Thomas

    Veröffentlicht 1997
    Abschlussarbeit Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: