Treffer 1 – 5 von 5 für Suche 'Joyce, Jeffrey J.', Suchdauer: 0,06s 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 verified compiler for a verified microprocessor

    A verified compiler for a verified microprocessor von Joyce, Jeffrey J.

    Veröffentlicht 1989
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Formal specification and verification of asynchronous processes in higher-order logic

    Formal specification and verification of asynchronous processes in higher-order logic von Joyce, Jeffrey J.

    Veröffentlicht 1988
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Totally verified systems, linking verified software to verified hardware

    Totally verified systems, linking verified software to verified hardware von Joyce, Jeffrey J.

    Veröffentlicht 1989
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    Formal specification and verification of microprocessor systems

    Formal specification and verification of microprocessor systems von Joyce, Jeffrey J.

    Veröffentlicht 1988
    Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    Proving a computer correct in higher order logic

    Proving a computer correct in higher order logic von Joyce, Jeffrey J., Birtwistle, Graham M. 1939-, Gordon, Michael J. C. 1948-

    Veröffentlicht 1986
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: