Katalog der Deutschen Nationalbibliothek

Neuigkeiten Die 1,6 Millionen frei zugänglichen Online-Publikationen können in der Trefferliste über "Alle Standorte - Online (frei zugänglich)" gefiltert werden. Zugang erhalten Sie in der Datensatzansicht über den Link "Archivobjekt öffnen" oder über die URN im Label "Persistent Identifier".
 
Neuigkeiten Die Lesesäle der Deutschen Nationalbibliothek sind unter Beachtung der geltenden Hygiene- und Abstandsregelungen für einen eingeschränkten Benutzungsbetrieb geöffnet. Für den Zutritt ist eine Reservierungsbestätigung notwendig. Das Reservierungssystem und alle weiteren Hinweise zur Benutzung finden Sie auf der Startseite unserer Homepage. Lösen Sie Bestellungen bitte erst nach der erfolgreichen Reservierung aus.
 
 

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 11 Publikationen
  1. Verification of abstract state machines
    Schellhorn, Gerhard. - Augsburg : Universität Augsburg, 2021
  2. Adding concurrency to a sequential refinement tower
    Schellhorn, Gerhard. - Augsburg : Universität Augsburg, 2020
  3. ...





Treffer 1 von 1
< < > <


E-Mail-IconAdministration