Treffer 1 – 11 von 11 für Suche 'Barringer, Howard', Suchdauer: 0,07s 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
    Fair SMG and linear time model checking

    Fair SMG and linear time model checking von Barringer, Howard, Fisher, Michael 1962-, Gough, Graham D.

    Veröffentlicht 1989
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Up and down the temporal way

    Up and down the temporal way von Barringer, Howard

    Veröffentlicht 1985
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    A survey of verification techniques for parallel programs

    A survey of verification techniques for parallel programs von Barringer, Howard

    Veröffentlicht 1985
    Volltext öffnen
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:
  4. 4
    Advances in Temporal Logic

    Advances in Temporal Logic von Barringer, Howard

    Veröffentlicht 2000

    Volltext öffnen Volltext öffnen
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:
  5. 5
    Program logics a short survey

    Program logics a short survey von Fisher, Michael 1962-, Barringer, Howard

    Veröffentlicht 1987
    Buch Fernleihe Bestellen


    Gespeichert in:
  6. 6
    Formal specification and verification of hardware a comparative case study

    Formal specification and verification of hardware a comparative case study von Stavridou, Victoria, Barringer, Howard, Edwards, Dough A.

    Veröffentlicht 1987
    Buch Fernleihe Bestellen


    Gespeichert in:
  7. 7
    Using temporal logic in the compositional specification of concurrent systems

    Using temporal logic in the compositional specification of concurrent systems von Barringer, Howard

    Veröffentlicht 1986
    Buch Fernleihe Bestellen


    Gespeichert in:
  8. 8
    A study of an extended temporal logic and a temporal fixed point calculus

    A study of an extended temporal logic and a temporal fixed point calculus von Banieqbal, Behnam, Barringer, Howard

    Veröffentlicht 1986
    Buch Fernleihe Bestellen


    Gespeichert in:
  9. 9
    A Survey of verification techniques for parallel programs

    A Survey of verification techniques for parallel programs von Barringer, Howard

    Veröffentlicht 1985
    Buch Fernleihe Bestellen


    Gespeichert in:
  10. 10
    A semantics driven temporal verification system

    A semantics driven temporal verification system von Gough, Graham D., Barringer, Howard

    Veröffentlicht 1987
    Buch Fernleihe Bestellen


    Gespeichert in:
  11. 11
    A survey of verification techniques for parallel programs

    A survey of verification techniques for parallel programs von Barringer, Howard

    Veröffentlicht 1985
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: