Ata uhi

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

Whakaahuatanga katoa

I tiakina i:

Ngā taipitopito rārangi puna kōrero
Kaituhi rangatōpū:	SpringerLink (Online service)
Ētahi atu kaituhi:	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)
Hōputu:	Tāhiko īPukapuka
Reo:	Ingarihi
I whakaputaina:	Cham : Springer Nature Switzerland : Imprint: Springer, 2025.
Putanga:	1st ed. 2025.
Rangatū:	Lecture Notes in Computer Science, 15260
Ngā marau:	Computer science. Software engineering. Computer Science Logic and Foundations of Programming. Theory of Computation. Software Engineering.
Urunga tuihono:	https://doi.org/10.1007/978-3-031-75783-9
Ngā Tūtohu:	Tāpirihia he Tūtohu Kāore He Tūtohu, Me noho koe te mea tuatahi ki te tūtohu i tēnei pūkete!

Ngā tūemi rite

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

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

Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday /
I whakaputaina: (2023)

Theories of Programming and Formal Methods Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday /
I whakaputaina: (2023)

Applicable Formal Methods for Safe Industrial Products Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday /
I whakaputaina: (2023)

Taming the Infinities of Concurrency Essays Dedicated to Javier Esparza on the Occasion of His 60th Birthday /
I whakaputaina: (2024)

Principles and Practices of Building Parallel Software Essays Dedicated to Vivek Sarkar on the Occasion of His 64th Birthday /
I whakaputaina: (2025)

TOOLympics Challenge 2023 Updates, Results, Successes of the Formal-Methods Competitions /
I whakaputaina: (2025)

Testing Software and Systems 35th IFIP WG 6.1 International Conference, ICTSS 2023, Bergamo, Italy, September 18–20, 2023, Proceedings /
I whakaputaina: (2023)

Dynamic Logic. New Trends and Applications 5th International Workshop, DaLí 2023, Tbilisi, Georgia, September 15–16, 2023, Revised Selected Papers /
I whakaputaina: (2024)

Testing Software and Systems 36th IFIP WG 6.1 International Conference, ICTSS 2024, London, UK, October 30 – November 1, 2024, Proceedings /
I whakaputaina: (2025)

Runtime Verification 24th International Conference, RV 2024, Istanbul, Turkey, October 15–17, 2024, Proceedings /
I whakaputaina: (2025)

Runtime Verification 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3–6, 2023, Proceedings /
I whakaputaina: (2023)

Logics and Type Systems in Theory and Practice Essays Dedicated to Herman Geuvers on The Occasion of His 60th Birthday /
I whakaputaina: (2024)

Formal Methods for an Informal World ICTAC 2021 Summer School, Virtual Event, Astana, Kazakhstan, September 1–7, 2021, Tutorial Lectures /
I whakaputaina: (2023)

Verification, Model Checking, and Abstract Interpretation 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20–21, 2025, Proceedings, Part I /
I whakaputaina: (2025)

Verification, Model Checking, and Abstract Interpretation 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20–21, 2025, Proceedings, Part II /
I whakaputaina: (2025)

Dynamic Logic. New Trends and Applications 4th International Workshop, DaLí 2022, Haifa, Israel, July 31–August 1, 2022, Revised Selected Papers /
I whakaputaina: (2023)

Automated Technology for Verification and Analysis 21st International Symposium, ATVA 2023, Singapore, October 24–27, 2023, Proceedings, Part I /
I whakaputaina: (2023)

Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part III /
I whakaputaina: (2025)

Automated Technology for Verification and Analysis 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21–25, 2024, Proceedings, Part I /
I whakaputaina: (2025)

Rebeca for Actor Analysis in Action Essays Dedicated to Marjan Sirjani on the Occasion of Her 60th Birthday /
I whakaputaina: (2025)

Composability, Comprehensibility and Correctness of Working Software 8th Summer School, CEFP 2019, Budapest, Hungary, June 17–21, 2019, Revised Selected Papers /
I whakaputaina: (2023)

Automated Technology for Verification and Analysis 21st International Symposium, ATVA 2023, Singapore, October 24–27, 2023, Proceedings, Part II /
I whakaputaina: (2023)

Automated Technology for Verification and Analysis 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21–25, 2024, Proceedings, Part II /
I whakaputaina: (2025)

Verification, Model Checking, and Abstract Interpretation 25th International Conference, VMCAI 2024, London, United Kingdom, January 15–16, 2024, Proceedings, Part I /
I whakaputaina: (2024)

Verification, Model Checking, and Abstract Interpretation 25th International Conference, VMCAI 2024, London, United Kingdom, January 15–16, 2024, Proceedings, Part II /
I whakaputaina: (2024)

Concise Guide to Software Verification From Model Checking to Annotation Checking /
mā: Huisman, Marieke, me ētahi atu.
I whakaputaina: (2023)

Verification, Model Checking, and Abstract Interpretation 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16–17, 2023, Proceedings /
I whakaputaina: (2023)

Mathematical Foundations of Software Engineering A Practical Guide to Essentials /
mā: O'Regan, Gerard
I whakaputaina: (2023)

Verified Software. Theories, Tools and Experiments. 14th International Conference, VSTTE 2022, Trento, Italy, October 17–18, 2022, Revised Selected Papers /
I whakaputaina: (2023)

Verified Software. Theories, Tools and Experiments 16th International Conference, VSTTE 2024, Prague, Czech Republic, October 14–15, 2024, Revised Selected Papers /
I whakaputaina: (2025)

Verified Software. Theories, Tools and Experiments 15th International Conference, VSTTE 2023, Ames, IA, USA, October 23–24, 2023, Revised Selected Papers /
I whakaputaina: (2024)

Computational Thinking First Algorithms, Then Code /
mā: Ferragina, Paolo, me ētahi atu.
I whakaputaina: (2024)

Leveraging Applications of Formal Methods, Verification and Validation. Application Areas 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part V /
I whakaputaina: (2025)

Structures of Computing A Guide to Practice-Oriented Theory /
mā: Börger, Egon, me ētahi atu.
I whakaputaina: (2024)

Theoretical Aspects of Computing – ICTAC 2024 21st International Colloquium, Bangkok, Thailand, November 25–29, 2024, Proceedings /
I whakaputaina: (2025)

Unconventional Computation and Natural Computation 20th International Conference, UCNC 2023, Jacksonville, FL, USA, March 13–17, 2023, Proceedings /
I whakaputaina: (2023)

Logic-Based Program Synthesis and Transformation 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings /
I whakaputaina: (2023)

Logic and Engineering of Natural Language Semantics 20th International Conference, LENLS20, Osaka, Japan, November 18–20, 2023, Revised Selected Papers /
I whakaputaina: (2024)