Home Home >
Reference >
Computers >
Programming languages >
Foundations of Probabilistic Programming

Foundations of Probabilistic Programming

Gilles Barthe, Joost-Pieter Katoen, Alexandra Silva

Cambridge University Press
Publication date : 2020-12-03

Voir les informations d'accessibilité

Add to basket

£61,19

Download | LCP DRM 🛈 Adobe DRM 🛈

Streaming

Add to my wish list

Louise Reader

Read on Louise Reader App.

Get £9.18 by recommending this book

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. It provides a state-of-the-art overview of the theoretical underpinnings of modern probabilistic programming and their applications in machine learning, security, and other domains, at a level suitable for graduate students and non-experts in the field. In addition, the book treats the connection between probabilistic programs and mathematical logic, security (what is the probability that software leaks confidential information?), and presents three programming languages for different applications: Excel tables, program testing, and approximate computing. This title is also available as Open Access on Cambridge Core.

Les livres numériques peuvent être téléchargés depuis l'ebookstore Numilog ou directement depuis une tablette ou smartphone.

PDF : format reprenant la maquette originale du livre ; lecture recommandée sur ordinateur et tablette
EPUB : format de texte repositionnable ; lecture sur tous supports (ordinateur, tablette, smartphone, liseuse)

Votre support de lecture	Format	Protection	Application
Ordinateur	-EPUB -PDF	DRM Adobe LCP	Lecture en ligne (streaming) Adobe Digital Editions(DRM Adobe) Thorium Reader (LCP)
Tablette et smartphone iOS / Android	EPUB PDF	LCP DRM Adobe	Application Louise Reader : IOS / Android(ne lit pas les fichiers protégés par Adobe DRM) Adobe Digital Edition : IOS/Android(Lit uniquement la DRM Adobe)
Liseuse	EPUB	DRM Adobe	Module de lecture de la liseuse
Liseuse Diva	EPUB	LCP DRM Adobe	Module de lecture de la liseuse Diva

Consultez l’aide pour en savoir plus.

About the book

Author

Gilles Barthe , Joost-Pieter Katoen , Alexandra Silva

Imprint

Cambridge University Press

Collection

n.c

Publication date

2020-12-03

Pages

n.c

Print ISBN

9781108488518

Language

English

Ebook informations

EAN PDF

9781108805742

Price

£61.19

Copy count 0

Print count 0

File size 4168 Ko

Informations accessibility

Compatibility

To check the compatibility with your devices,
see help page

About author(s)

Gilles Barthe

Joost-Pieter Katoen

Alexandra Silva

You may also be interested in...