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

This Festschrift is dedicated to Joost-Pieter Katoen in recognition of his outstanding research, teaching, and organizational successes. Joost-Pieter received his Master's and later his Ph.D. from the University of Twente, and his Professional Doctorate in Engineering from Eindhoven University...

Descripció completa

Dades bibliogràfiques

Autor corporatiu:	SpringerLink (Online service)
Altres autors:	Jansen, Nils (Editor), Junges, Sebastian (Editor), Kaminski, Benjamin Lucien (Editor), Matheja, Christoph (Editor), Noll, Thomas (Editor), Quatmann, Tim (Editor), Stoelinga, Mariëlle (Editor), Volk, Matthias (Editor)
Format:	Electrònic eBook
Idioma:	anglès
Publicat:	Cham : Springer Nature Switzerland : Imprint: Springer, 2025.
Edició:	1st ed. 2025.
Col·lecció:	Lecture Notes in Computer Science, 15260
Matèries:	Computer science. Software engineering. Computer Science Logic and Foundations of Programming. Theory of Computation. Software Engineering.
Accés en línia:	https://doi.org/10.1007/978-3-031-75783-9
Etiquetes:	Afegir etiqueta Sense etiquetes, Sigues el primer a etiquetar aquest registre!