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

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...

Olles dieđut

Bibliográfalaš dieđut

Searvvušdahkki:	SpringerLink (Online service)
Eará dahkkit:	Jansen, Nils (Doaimmaheaddji), Junges, Sebastian (Doaimmaheaddji), Kaminski, Benjamin Lucien (Doaimmaheaddji), Matheja, Christoph (Doaimmaheaddji), Noll, Thomas (Doaimmaheaddji), Quatmann, Tim (Doaimmaheaddji), Stoelinga, Mariëlle (Doaimmaheaddji), Volk, Matthias (Doaimmaheaddji)
Materiálatiipa:	Elektrovnnalaš E-girji
Giella:	eaŋgalasgiella
Almmustuhtton:	Cham : Springer Nature Switzerland : Imprint: Springer, 2025.
Preanttus:	1st ed. 2025.
Ráidu:	Lecture Notes in Computer Science, 15261
Fáttát:	Computer science. Software engineering. Computer Science Logic and Foundations of Programming. Theory of Computation. Software Engineering.
Liŋkkat:	https://doi.org/10.1007/978-3-031-75775-4
Fáddágilkorat:	Lasit fáddágilkoriid Eai fáddágilkorat, Lasit vuosttaš fáddágilkora!