Katalog der Deutschen Nationalbibliothek

Neuigkeiten

Leichte Bedienung, intuitive Suche: Die Betaversion unseres neuen Katalogs ist online! → Zur Betaversion des neuen DNB-Katalogs

 
Neuigkeiten Der Aufruf von archivierten Webseiten ist aktuell nicht möglich. Wir arbeiten an einer Lösung.
 
Neuigkeiten Neue Servicezeiten am Standort Leipzig ab dem 10.08.2026 Servicetheke, Musiklesesaal und Museumslesesaal: Montag bis Freitag 10-18 Uhr Samstag 10-16 Uhr
 
Neuigkeiten Ab dem 10.08.2026 schließen Musiklesesaal und Museumslesesaal samstags um 16 Uhr.
 
Neuigkeiten Am Donnerstag, 17. September 2026, öffnet die Deutsche Nationalbibliothek wegen eines Beschäftigtentreffens an beiden Standorten erst um 15 Uhr.
 
 

Ergebnis der Suche nach: nid=1198124741



Treffer 1 von 1 < < > <



Personen
Link zu diesem Datensatz https://d-nb.info/gnd/1198124741
Person Bodenmüller, Stefan
Akademischer Grad M.Sc.
Quelle (Stand: 28.10.2019): https://www.informatik.uni-augsburg.de/de/lehrstuehle/swt/se/staff/bodenmueller/
Zeit Lebensdaten: ca. 20. / 21. Jh.
Land Deutschland (XA-DE)
Beruf(e) Informatiker
Wissenschaftlicher Mitarbeiter
Weitere Angaben Wiss. Mitarbeiter am Department of Computer Science d. Univ. Augsburg (Stand 10/19)
Systematik 30p Personen zu Informatik, Datenverarbeitung
Typ Person (piz)
Autor von 13 Publikationen
  1. Verification of forward simulations with thread-local, step-local proof obligations
    Schellhorn, Gerhard. - Augsburg : Universität Augsburg, 2025
  2. A fully verified persistency library
    Bodenmüller, Stefan. - Augsburg : Universität Augsburg, 2024
  3. ...





Treffer 1 von 1
< < > <




Aktionen

Aktionen


E-Mail-IconKorrekturanfrage

E-Mail-IconAdministration