Treffer 1 – 2 von 2 für Suche 'Camilleri, Juanito', Suchdauer: 0,03s 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
    Symbolic compilation and execution of programs by proof, a case study in HOL

    Symbolic compilation and execution of programs by proof, a case study in HOL von Camilleri, Juanito

    Veröffentlicht 1991
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    An operational semantics for Occam

    An operational semantics for Occam von Camilleri, Juanito

    Veröffentlicht 1988
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: