Treffer 1 – 3 von 3 für Suche 'Petre, Luigia', 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
    Formal methods teaching Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019 : proceedings

    Formal methods teaching Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019...

    Veröffentlicht 2019
    Weitere Verfasser:
    Volltext öffnen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  2. 2
    From action systems to distributed systems the refinement approach

    From action systems to distributed systems the refinement approach

    Veröffentlicht 2016
    Weitere Verfasser: “… Petre, Luigia …”
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Dependability and computer engineering concepts for software-intensive systems

    Dependability and computer engineering concepts for software-intensive systems

    Veröffentlicht 2012
    Weitere Verfasser: “… Petre, Luigia …”
    Volltext öffnen
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: