Treffer 1 – 3 von 3 für Suche 'Cardell-Oliver, Rachel', 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
    The formal verification of hard real-time systems

    The formal verification of hard real-time systems von Cardell-Oliver, Rachel M.

    Veröffentlicht 1992
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Formal verification of real-time protocols using higher order logic

    Formal verification of real-time protocols using higher order logic von Cardell-Oliver, Rachel

    Veröffentlicht 1990
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    The specification and verification of sliding window protocols in higher order logic

    The specification and verification of sliding window protocols in higher order logic von Cardell-Oliver, Rachel

    Veröffentlicht 1989
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: