Treffer 1 – 2 von 2 für Suche 'Balser, Michael 1972-', 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
    Verifying concurrent systems with symbolic execution temporal reasoning is symbolic execution with a little induction

    Verifying concurrent systems with symbolic execution temporal reasoning is symbolic execution with a little induction von Balser, Michael 1972-

    Veröffentlicht 2006
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Verifying concurrent systems with symbolic execution temporal reasoning is symbolic execution with a little induction

    Verifying concurrent systems with symbolic execution temporal reasoning is symbolic execution with a little induction von Balser, Michael 1972-

    Veröffentlicht 2006
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: