Scan barcode
—
Gilles Barthe, Joost-Pieter Katoen, Alexandra Silva
missing page info • missing pub info (editions)
ISBN/UID: 9781108770750
Format: Not specified
Language: English
Publisher: Not specified
Publication date: Not specified
Description
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 underpinni...
Community Reviews
Content Warnings
—
Gilles Barthe, Joost-Pieter Katoen, Alexandra Silva
missing page info • missing pub info (editions)
ISBN/UID: 9781108770750
Format: Not specified
Language: English
Publisher: Not specified
Publication date: Not specified
Description
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 underpinni...
Community Reviews
Content Warnings