> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Book; Hochschulschrift Titel: Pushdown and expectation transformer semantics of probabilistic recursive programs with nested conditioning Beteiligte: Lehmann, Johannes [VerfasserIn]; Winkler, Tobias [VerfasserIn]; Katoen, Joost-Pieter [AkademischeR BetreuerIn]; Noll, Thomas [AkademischeR BetreuerIn] Erschienen: Aachen: Universitätsbibliothek der RWTH Aachen, 2024 Erschienen in: Aachen ; RWTH Aachen University, 2024 Umfang: 1 Online-Ressource Sprache: Englisch DOI: 10.18154/RWTH-2024-02603 Identifikator: Schlagwörter: Hochschulschrift Entstehung: Hochschulschrift: Masterarbeit, RWTH Aachen University, 2023 Anmerkungen: Zugangsstatus: Freier Zugang