Principles of Verification: Cycling the Probabilistic Landscape: Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part I

Format:

e-book

Title:

Principles of Verification: Cycling the Probabilistic Landscape: Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part I

Author:

Nils Jansen; Junges, Sebastian; Kaminski, Benjamin Lucien; Matheja, Christoph; Noll, Thomas; Quatmann, Tim; Stoelinga, Mariëlle; Volk, Matthias

Language:

English

Publisher:

Springer Nature 2024

ISBN:

3-031-75782-3
3-031-75783-1

Permalink:

http://bibtest.howest.be/catalog/ebk03:36549472800041?locale=en