Ebooks (Sách điện tử)Authors : Barthe, Gilles; Katoen, Joost- Pieter; Silva, Alexandra (2021)
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. The book treats the connection between probabilistic programs and mathematical logic, security. 
