Foundations of probabilistic programming
Barthe, Gilles (Editor); Katoen, Joost-Pieter (Editor); Silva, Alexandra (Editor)
Cambridge, United Kingdom : Cambridge University Press (2020, 2021)
Buch
Einrichtungen
- Fachgruppe Informatik [120000]
- Lehrstuhl für Informatik 2 (Softwaremodellierung und Verifikation) [121310]
Identifikationsnummern
- ISBN: 978-1-108-48851-8
- ISBN: 978-1-108-77075-0
- DOI: 10.1017/9781108770750
- DOI: 10.18154/RWTH-2021-02242
- RWTH PUBLICATIONS: RWTH-2021-02242