Foundations of probabilistic programming / edited by Gilles Barthe, Joost-Pieter Katoen, Alexandra Silva [electronic resource]
Material type:![Computer file](/opac-tmpl/lib/famfamfam/CF.png)
- 9781108770750
- QA 76.6 F68 2021
Contents:
Semantics of Probabilistic Programming : A Gentle Introduction -- Semantics of Probabilistic Programming: A Gentle Introduction -- Expected Runtime Analyis by Program Verification -- Quantitative Analysis of Programs with Probabilities and Concentration of Measure Inequalities -- Probabilistic Abstract Interpretation: Sound Inference and Application to Privacy -- Luck: A Probabilistic Language for Testing -- Programming Unreliable Hardware
Item type | Current library | Collection | Shelving location | Call number | Status | Date due | Barcode | Item holds | |
---|---|---|---|---|---|---|---|---|---|
![]() |
SPU Library, Bangkok (Main Campus) | Electronic Resources | On Display | QA 76.6 F68 2021 (Browse shelf(Opens below)) | Available | EB000148 |
Total holds: 0
Semantics of Probabilistic Programming : A Gentle Introduction -- Semantics of Probabilistic Programming: A Gentle Introduction -- Expected Runtime Analyis by Program Verification -- Quantitative Analysis of Programs with Probabilities and Concentration of Measure Inequalities -- Probabilistic Abstract Interpretation: Sound Inference and Application to Privacy -- Luck: A Probabilistic Language for Testing -- Programming Unreliable Hardware
There are no comments on this title.
Log in to your account to post a comment.