Treffer 1 – 5 von 5 für Suche 'Peled, Doron A. 1962-', Suchdauer: 0,05s 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
    Model checking /

    Model checking / von Clarke, Edmund M., Jr. (Edmund Melson), 1945-2020, Grumberg, Orna, Peled, Doron A., 1962-

    Veröffentlicht 1999
    Volltext öffnen
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Dependable software systems engineering /

    Dependable software systems engineering /

    Veröffentlicht 2017
    Weitere Verfasser:

    Volltext öffnen Volltext öffnen
    Elektronisch Tagungsbericht E-Book Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Engineering dependable software systems /

    Engineering dependable software systems /

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


    Gespeichert in:
  4. 4
    Dependable software systems engineering

    Dependable software systems engineering

    Veröffentlicht 2017
    Weitere Verfasser:
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:
  5. 5
    Engineering dependable software systems

    Engineering dependable software systems

    Veröffentlicht 2013
    Weitere Verfasser:
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: