Treffer 1 – 3 von 3 für Suche 'Steffen, Martin 1965-', 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
    Software engineering and formal methods SEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16-20, 2019 : revised selected papers

    Software engineering and formal methods SEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16-20, 2019 : revised selected papers

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


    Gespeichert in:
  2. 2
    Formal methods for open object based distributed systems 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15 - 17, 2005 ; proceedings

    Formal methods for open object based distributed systems 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15 - 17, 2005 ; proceedings

    Veröffentlicht 2005
    Weitere Verfasser: “… Steffen, Martin 1965- …”
    Volltext öffnen
    Elektronisch Tagungsbericht E-Book Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Formal methods for open object based distributed systems 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15 - 17, 2005 ; proceedings

    Formal methods for open object based distributed systems 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15 - 17, 2005 ; proceedings

    Veröffentlicht 2005
    Weitere Verfasser: “… Steffen, Martin 1965- …”
    Beschreibung
    Tagungsbericht Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: