Foundations of Probabilistic Programming | OPEN EDUCATIONAL RESOURCES

Search by :

ALL Author Subject ISBN/ISSN Advanced Search

Last search:

Image of Foundations of Probabilistic Programming

Text

Foundations of Probabilistic Programming

Barthe, Gilles - Personal Name; Katoen, Joost-Pieter - Personal Name; Silva, Alexandra - Personal Name;

What does a probabilistic program actually compute? How can one formally reason about such probabilistic programs? This valuable guide covers such elementary questions and more.

Availability

No copy data

Detail Information

Series Title: -
Call Number: 519 BAR f
Publisher: Cambridge : Cambridge University Press., 2020
Collation: -
Language: English
ISBN/ISSN: 9781108770750
Classification: 519
Content Type: text
Media Type: computer
Carrier Type: online resource
Edition: -
Subject(s): Probabilitas dan Matematika terapan
Specific Detail Info: -
Statement of Responsibility: Gilles Barthe, Joost-Pieter Katoen, Alexandra Silva

Other Information

Cataloger: Erwin Hendarto
Source: https://doi.org/10.1017/9781108770750
Validator: -

Other version/related

No other version available

File Attachment

Foundations of Probabilistic Programming

Comments

You must be logged in to post a comment