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

पूर्ण विवरण

ग्रंथसूची विवरण

निगमित लेखक:	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, 15261
विषय:	Computer science. Software engineering. Computer Science Logic and Foundations of Programming. Theory of Computation. Software Engineering.
ऑनलाइन पहुंच:	https://doi.org/10.1007/978-3-031-75775-4
टैग:	टैग जोड़ें कोई टैग नहीं, इस रिकॉर्ड को टैग करने वाले पहले व्यक्ति बनें!