Treffer 1 – 6 von 6 für Suche 'Mendler, Michael V.', Suchdauer: 0,05s 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
    A modal logic for handling behavioural constraints in formal hardware verification

    A modal logic for handling behavioural constraints in formal hardware verification von Mendler, Michael V.

    Veröffentlicht 1993
    Abschlussarbeit Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    First order lax logic as a framework for constraint logic programming

    First order lax logic as a framework for constraint logic programming von Fairtlough, Matthew V., Mendler, Michael V., Walton, Matt

    Veröffentlicht 1997
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Ternary simulation a refinement of binary functions or an abstraction of real-time behaviour?

    Ternary simulation a refinement of binary functions or an abstraction of real-time behaviour? von Mendler, Michael V., Fairtlough, Matthew V.

    Veröffentlicht 1996
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    A modal logic for handling behavioural constraints in formal hardware verification

    A modal logic for handling behavioural constraints in formal hardware verification von Mendler, Michael V.

    Veröffentlicht 1993
    Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    Konstruktive Ansätze zur Verbindung von Funktion und Zeit im Formalen Systementwurf Habilitationsveröffentlichungen und Zusammenfassung

    Konstruktive Ansätze zur Verbindung von Funktion und Zeit im Formalen Systementwurf Habilitationsveröffentlichungen und Zusammenfassung von Mendler, Michael V.

    Veröffentlicht 1998
    Buch Fernleihe Bestellen


    Gespeichert in:
  6. 6
    A timing refinement of intuitionistic proofs and its application to the timing analysis of combinational circuits

    A timing refinement of intuitionistic proofs and its application to the timing analysis of combinational circuits von Mendler, Michael V.

    Veröffentlicht 1995
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: