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

Type:

e-book

Titel:

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

Auteur:

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

Taal:

Engels

Uitgever:

Springer Nature 2024

ISBN:

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

Permalink:

http://bibtest.howest.be/catalog/ebk03:36549472800041