Principles of verification: cycling the probabilistic landscape : essays dedicated to Joost-Pieter Katoen on the occasion of his 60th Birthday : part III / Nils Jansen, Sebastian Junges, Benjamin Lucien Kaminski, Christoph Matheja, Thomas Noll, Tim Quatmann, Mariëlle Stoelinga, Matthias Volk, editors
Mitwirkende(r): Resource type: Ressourcentyp: Buch (Online)Buch (Online)Sprache: Englisch Reihen: Lecture notes in computer science ; 15262Verlag: Cham : Springer, [2025]Beschreibung: 1 Online-RessourceISBN:- 9783031757785
- 004.0151 23
Dieser Titel hat keine Exemplare