Treffer 1 – 2 von 2 für Suche 'Veith, Helmut 1971-2016', Suchdauer: 0,03s 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
    Handbook of model checking

    Handbook of model checking

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


    Gespeichert in:
  2. 2
    Special issue: JCSS games in verification

    Special issue: JCSS games in verification

    Veröffentlicht 2012
    Weitere Verfasser: “… Veith, Helmut 1971-2016 …”
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: