Katalog der Deutschen Nationalbibliothek

Neuigkeiten Unsere Lesesäle sind unter den geltenden Hygiene- und Abstandsregelungen für den eingeschränkten Benutzungsbetrieb geöffnet. Für den Zutritt ist eine Reservierungsbestätigung erforderlich. Das Reservierungssystem und alle weiteren Hinweise zur Benutzung finden Sie auf der Startseite unserer Homepage. Achtung: Die Bereitstellungszeit für bestellte Medien beträgt aktuell 5 Tage!
 
 

Ergebnis der Suche nach: nid=131785931



Treffer 1 von 1 < < > <



Personen
Link zu diesem Datensatz http://d-nb.info/gnd/131785931
Person Balser, Michael
Andere Namen Balser, M.
Zeit Lebensdaten: 1972-
Beruf(e) Informatiker
Weitere Angaben Diss. Fakultät für Angewandte Informatik an der Universität Augsburg; Informatiker
Typ Person (piz)
Autor von 3 Publikationen
  1. Verifying concurrent systems with symbolic execution
    Balser, Michael. - Aachen : Shaker, 2006
  2. Verifying concurrent systems with symbolic execution
    Balser, Michael, [2006]
  3. ...





Treffer 1 von 1
< < > <


E-Mail-IconAdministration