Treffer 1 – 4 von 4 für Suche 'Hailpern, Brent', 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 concurrent processes using temporal logic

    Verifying concurrent processes using temporal logic von Hailpern, Brent T.

    Veröffentlicht 1980
    Abschlussarbeit Mikrofilm Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Verifying concurrent processes using temporal logic

    Verifying concurrent processes using temporal logic von Hailpern, Brent T.

    Veröffentlicht 1982
    Abschlussarbeit Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Proceedings of the 14th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications

    Proceedings of the 14th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications von Hailpern, Brent

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


    Gespeichert in:
  4. 4
    Verifying concurrent processes using temporal logic

    Verifying concurrent processes using temporal logic von Hailpern, Brent T.

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


    Gespeichert in:

Suchwerkzeuge: