Joost-Pieter Katoen

3 books

Principles of Model Checking by Christel Baier, Joost-Pieter Katoen

Principles of Model Checking

Mit Press

Christel Baier, Joost-Pieter Katoen

975 pages • missing pub info (editions)

nonfiction computer science science informative medium-paced
Foundations of Probabilistic Programming by Gilles Barthe, Joost-Pieter Katoen, Alexandra Silva
Foundations of Probabilistic Programming
—
Gilles Barthe, Joost-Pieter Katoen, Alexandra Silva

Foundations of Probabilistic Programming

Gilles Barthe, Joost-Pieter Katoen, Alexandra Silva

missing page info • missing pub info (editions)

medium-paced
Validation of Stochastic Systems: A Guide to Current Research by Christel Baier
Validation of Stochastic Systems: A Guide to Current Research
—
Christel Baier

Validation of Stochastic Systems: A Guide to Current Research

Christel Baier

465 pages • first pub 2004 (editions)