Suchergebnisse - Petre, Luigia

  • Treffer 1 – 3 von 3
Treffer filtern
  1. 1
    Buchumschlag

    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

    Veröffentlicht 2019
    Weitere beteiligte Personen: “… Petre, Luigia …”
    Online lesen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  2. 2
    Buchumschlag

    From action systems to distributed systems: the refinement approach

    Veröffentlicht 2016
    Weitere beteiligte Personen: “… Petre, Luigia …”
    Elektronisch E-Book


    Gespeichert in:
  3. 3
    Buchumschlag

    Dependability and computer engineering: concepts for software-intensive systems

    Veröffentlicht 2012
    Weitere beteiligte Personen: “… Petre, Luigia …”
    Online lesen
    Elektronisch E-Book


    Gespeichert in:

Suchwerkzeuge: