gefundene Verfasser Melham, T.F.

Melham, Thomas F.
Melham, T. F.
Camilleri, Albert J.
Gordon, Michael J. C. 1948-

Treffer 1 - 9 von 9 für Suche 'Melham, T.F.', Suchdauer: 0,28s Treffer weiter einschränken
  1. 1
    Higher order logic and hardware verification

    Higher order logic and hardware verification von Melham, T. F.

    Veröffentlicht 1993
    DE-12
    DE-92
    URL des Erstveröffentlichers
    Elektronisch E-Book

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Higher order logic and hardware verification

    Higher order logic and hardware verification von Melham, T. F.

    Veröffentlicht 1993
    Volltext
    E-Book

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Higher order logic and hardware verification

    Higher order logic and hardware verification von Melham, Thomas F.

    Veröffentlicht 1993
    Abschlussarbeit Buch

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Formalizing abstraction mechanisms for hardware verification in higher order logic

    Formalizing abstraction mechanisms for hardware verification in higher order logic von Melham, Thomas F.

    Veröffentlicht 1990
    Buch

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Using recursive types to reason about hardware in higher order logic

    Using recursive types to reason about hardware in higher order logic von Melham, Thomas F.

    Veröffentlicht 1988
    Buch

    Zu den Favoriten
    Gespeichert in:
  6. 6
    A mechanized theory of the pi-calculus in HOL

    A mechanized theory of the pi-calculus in HOL von Melham, Thomas F.

    Veröffentlicht 1992
    Buch

    Zu den Favoriten
    Gespeichert in:
  7. 7
    Automating recursive type definitions in higher order logic

    Automating recursive type definitions in higher order logic von Melham, Thomas F.

    Veröffentlicht 1988
    Buch

    Zu den Favoriten
    Gespeichert in:
  8. 8
    Abstraction mechanisms for hardware verification

    Abstraction mechanisms for hardware verification von Melham, Thomas F.

    Veröffentlicht 1987
    Buch

    Zu den Favoriten
    Gespeichert in:
  9. 9
    Hardware verification using higher-order logic

    Hardware verification using higher-order logic von Camilleri, Albert J., Gordon, Michael J. C. 1948-, Melham, Thomas F.

    Veröffentlicht 1986
    Buch

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: