Treffer 1 – 2 von 2 für Suche 'Camilleri, Albert J.', 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
    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 Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Simulation as an aid to verification using the Hol theorem prover

    Simulation as an aid to verification using the Hol theorem prover von Camilleri, Albert J.

    Veröffentlicht 1988
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: