Principles of Verification: Cycling the Probabilistic Landscape

Autor: Nils Jansen, Sebastian Junges, Benjamin Lucien Kaminski, Christoph Matheja, Thomas Noll, Tim Quatmann, Mariëlle Stoelinga, Matthias Volk
Matèria
Editor: Springer Nature
Data publicació: 2025
Identificador: 9783031757785
Col·lecció: Computer Science and Information Technology
Accés