Treffer 1 – 4 von 4 für Suche 'Merz, Stephan 1963-', Suchdauer: 0,07s 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
    Temporal logic and state systems

    Temporal logic and state systems von Kröger, Fred 1945-, Merz, Stephan 1963-

    Veröffentlicht 2008
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Formal methods and software engineering 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014 ; proceedings

    Formal methods and software engineering 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014 ; proceedings

    Veröffentlicht 2014
    Weitere Verfasser: “… Merz, Stephan 1963- …”
    Beschreibung
    Tagungsbericht Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Formal methods and software engineering 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014 ; proceedings

    Formal methods and software engineering 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014 ; proceedings

    Veröffentlicht 2014
    Weitere Verfasser: “… Merz, Stephan 1963- …”
    Volltext öffnen
    Elektronisch Tagungsbericht E-Book Fernleihe Bestellen


    Gespeichert in:
  4. 4
    Workshop on trustworthy software May 18-19, 2006, Saarbrücken, Germany

    Workshop on trustworthy software May 18-19, 2006, Saarbrücken, Germany

    Veröffentlicht 2006
    Weitere Verfasser:
    Volltext öffnen
    Elektronisch Tagungsbericht E-Book Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: