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

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

وصف كامل

التفاصيل البيبلوغرافية

مؤلف مشترك:	SpringerLink (Online service)
مؤلفون آخرون:	Jansen, Nils (المحرر), Junges, Sebastian (المحرر), Kaminski, Benjamin Lucien (المحرر), Matheja, Christoph (المحرر), Noll, Thomas (المحرر), Quatmann, Tim (المحرر), Stoelinga, Mariëlle (المحرر), Volk, Matthias (المحرر)
التنسيق:	الكتروني كتاب الكتروني
اللغة:	الإنجليزية
منشور في:	Cham : Springer Nature Switzerland : Imprint: Springer, 2025.
الطبعة:	1st ed. 2025.
سلاسل:	Lecture Notes in Computer Science, 15262
الموضوعات:	Computer science. Software engineering. Computer Science Logic and Foundations of Programming. Theory of Computation. Software Engineering.
الوصول للمادة أونلاين:	https://doi.org/10.1007/978-3-031-75778-5
الوسوم:	إضافة وسم لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!