Treffer 1 – 3 von 3 für Suche 'Da Silva, Fabio Q.', 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
    Correctness proofs of compilers and debuggers an overview of an approach based on structural operational semantics

    Correctness proofs of compilers and debuggers an overview of an approach based on structural operational semantics von Da Silva, Fabio Q.

    Veröffentlicht 1992
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Proceedings of the 17th International Conference on Evaluation and Assessment in Software Engineering

    Proceedings of the 17th International Conference on Evaluation and Assessment in Software Engineering von da Silva, Fabio Q. B.

    Veröffentlicht 2013
    Volltext öffnen
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Observational equivalence and compiler correctness

    Observational equivalence and compiler correctness von Da Silva, Fabio Q.

    Veröffentlicht 1992
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: