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

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 II

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-75774-2
3-031-75775-0

Permalink:

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