> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Book; Hochschulschrift Titel: Semantics and loop invariant synthesis for probabilistic programs Weitere Titel: Semantiken und Schleifeninvariantensynthese für probabilistische Programme Beteiligte: Gretz, Friedrich [Verfasser]; Katoen, Joost-Pieter [Akademischer Betreuer]; Sankaranarayanan, Sriram [Akademischer Betreuer] Erschienen: Aachen: Universitätsbibliothek der RWTH Aachen, 2016 Umfang: Online-Ressource Sprache: Englisch Identifikator: Schlagwörter: Hochschulschrift Entstehung: Hochschulschrift: Dissertation, Aachen, Techn. Hochsch., 2015 Anmerkungen: Zugangsstatus: Freier Zugang