Treffer 1 – 2 von 2 für Suche 'Berg, Nils Erik', Suchdauer: 0,04s 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
    Formal verification of low-level code in a model-based refinement process

    Formal verification of low-level code in a model-based refinement process von Berg, Nils Erik

    Veröffentlicht 2019
    Volltext öffnen
    Abschlussarbeit Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Formal verification of low-level code in a model-based refinement process

    Formal verification of low-level code in a model-based refinement process von Berg, Nils Erik

    Veröffentlicht 2019
    Volltext öffnen
    Abschlussarbeit Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: