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=1163758000



Treffer 1 von 1 < < > <



Personen
Link zu diesem Datensatz http://d-nb.info/gnd/1163758000
Person Schellhorn, Gerhard
Akademischer Grad Dr.
Quelle (Stand: 02.08.2018): https://www.informatik.uni-augsburg.de/lehrstuehle/swt/se/staff/schellhorn/
Zeit Lebensdaten: ca. 20./21. Jh.
Land Deutschland (XA-DE)
Beruf(e) Informatiker
Hochschullehrer
Weitere Angaben Mitarbeiter am Lehrstuhl für Software Engineering d. Universität Augsburg (08/2018)
Systematik 30p Personen zu Informatik, Datenverarbeitung
Typ Person (piz)
Autor von 5 Publikationen
  1. Symbolic execution for a clash-free subset of ASMs
    Schellhorn, Gerhard. - Augsburg : Universität Augsburg, 2018
  2. Modular verification of order-preserving write-back caches
    Pfähler, Jörg. - Augsburg : Universität Augsburg, 2017
  3. ...





Treffer 1 von 1
< < > <


E-Mail-IconAdministration