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...
में बचाया:
| निगमित लेखक: | |
|---|---|
| अन्य लेखक: | , , , , , , , |
| स्वरूप: | इलेक्ट्रोनिक ई-पुस्तक |
| भाषा: | अंग्रेज़ी |
| प्रकाशित: |
Cham :
Springer Nature Switzerland : Imprint: Springer,
2025.
|
| संस्करण: | 1st ed. 2025. |
| श्रृंखला: | Lecture Notes in Computer Science,
15262 |
| विषय: | |
| ऑनलाइन पहुंच: | https://doi.org/10.1007/978-3-031-75778-5 |
| टैग: |
टैग जोड़ें
कोई टैग नहीं, इस रिकॉर्ड को टैग करने वाले पहले व्यक्ति बनें!
|
समान संसाधन
Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II /
प्रकाशित: (2025)
प्रकाशित: (2025)
Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part I /
प्रकाशित: (2025)
प्रकाशित: (2025)
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday /
प्रकाशित: (2023)
प्रकाशित: (2023)
Theories of Programming and Formal Methods Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday /
प्रकाशित: (2023)
प्रकाशित: (2023)
Applicable Formal Methods for Safe Industrial Products Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday /
प्रकाशित: (2023)
प्रकाशित: (2023)
Taming the Infinities of Concurrency Essays Dedicated to Javier Esparza on the Occasion of His 60th Birthday /
प्रकाशित: (2024)
प्रकाशित: (2024)
Principles and Practices of Building Parallel Software Essays Dedicated to Vivek Sarkar on the Occasion of His 64th Birthday /
प्रकाशित: (2025)
प्रकाशित: (2025)
TOOLympics Challenge 2023 Updates, Results, Successes of the Formal-Methods Competitions /
प्रकाशित: (2025)
प्रकाशित: (2025)
Dynamic Logic. New Trends and Applications 5th International Workshop, DaLí 2023, Tbilisi, Georgia, September 15–16, 2023, Revised Selected Papers /
प्रकाशित: (2024)
प्रकाशित: (2024)
Testing Software and Systems 35th IFIP WG 6.1 International Conference, ICTSS 2023, Bergamo, Italy, September 18–20, 2023, Proceedings /
प्रकाशित: (2023)
प्रकाशित: (2023)
Testing Software and Systems 36th IFIP WG 6.1 International Conference, ICTSS 2024, London, UK, October 30 – November 1, 2024, Proceedings /
प्रकाशित: (2025)
प्रकाशित: (2025)
Runtime Verification 24th International Conference, RV 2024, Istanbul, Turkey, October 15–17, 2024, Proceedings /
प्रकाशित: (2025)
प्रकाशित: (2025)
Runtime Verification 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3–6, 2023, Proceedings /
प्रकाशित: (2023)
प्रकाशित: (2023)
Logics and Type Systems in Theory and Practice Essays Dedicated to Herman Geuvers on The Occasion of His 60th Birthday /
प्रकाशित: (2024)
प्रकाशित: (2024)
Formal Methods for an Informal World ICTAC 2021 Summer School, Virtual Event, Astana, Kazakhstan, September 1–7, 2021, Tutorial Lectures /
प्रकाशित: (2023)
प्रकाशित: (2023)
Dynamic Logic. New Trends and Applications 4th International Workshop, DaLí 2022, Haifa, Israel, July 31–August 1, 2022, Revised Selected Papers /
प्रकाशित: (2023)
प्रकाशित: (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 /
प्रकाशित: (2025)
प्रकाशित: (2025)
Verification, Model Checking, and Abstract Interpretation 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20–21, 2025, Proceedings, Part I /
प्रकाशित: (2025)
प्रकाशित: (2025)
Verification, Model Checking, and Abstract Interpretation 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20–21, 2025, Proceedings, Part II /
प्रकाशित: (2025)
प्रकाशित: (2025)
Composability, Comprehensibility and Correctness of Working Software 8th Summer School, CEFP 2019, Budapest, Hungary, June 17–21, 2019, Revised Selected Papers /
प्रकाशित: (2023)
प्रकाशित: (2023)
Rebeca for Actor Analysis in Action Essays Dedicated to Marjan Sirjani on the Occasion of Her 60th Birthday /
प्रकाशित: (2025)
प्रकाशित: (2025)
Automated Technology for Verification and Analysis 21st International Symposium, ATVA 2023, Singapore, October 24–27, 2023, Proceedings, Part II /
प्रकाशित: (2023)
प्रकाशित: (2023)
Automated Technology for Verification and Analysis 21st International Symposium, ATVA 2023, Singapore, October 24–27, 2023, Proceedings, Part I /
प्रकाशित: (2023)
प्रकाशित: (2023)
Automated Technology for Verification and Analysis 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21–25, 2024, Proceedings, Part I /
प्रकाशित: (2025)
प्रकाशित: (2025)
Automated Technology for Verification and Analysis 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21–25, 2024, Proceedings, Part II /
प्रकाशित: (2025)
प्रकाशित: (2025)
Verification, Model Checking, and Abstract Interpretation 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16–17, 2023, Proceedings /
प्रकाशित: (2023)
प्रकाशित: (2023)
Concise Guide to Software Verification From Model Checking to Annotation Checking /
द्वारा: Huisman, Marieke, और अन्य
प्रकाशित: (2023)
द्वारा: Huisman, Marieke, और अन्य
प्रकाशित: (2023)
Verification, Model Checking, and Abstract Interpretation 25th International Conference, VMCAI 2024, London, United Kingdom, January 15–16, 2024, Proceedings, Part II /
प्रकाशित: (2024)
प्रकाशित: (2024)
Verification, Model Checking, and Abstract Interpretation 25th International Conference, VMCAI 2024, London, United Kingdom, January 15–16, 2024, Proceedings, Part I /
प्रकाशित: (2024)
प्रकाशित: (2024)
Mathematical Foundations of Software Engineering A Practical Guide to Essentials /
द्वारा: O'Regan, Gerard
प्रकाशित: (2023)
द्वारा: O'Regan, Gerard
प्रकाशित: (2023)
Verified Software. Theories, Tools and Experiments. 14th International Conference, VSTTE 2022, Trento, Italy, October 17–18, 2022, Revised Selected Papers /
प्रकाशित: (2023)
प्रकाशित: (2023)
Verified Software. Theories, Tools and Experiments 16th International Conference, VSTTE 2024, Prague, Czech Republic, October 14–15, 2024, Revised Selected Papers /
प्रकाशित: (2025)
प्रकाशित: (2025)
Verified Software. Theories, Tools and Experiments 15th International Conference, VSTTE 2023, Ames, IA, USA, October 23–24, 2023, Revised Selected Papers /
प्रकाशित: (2024)
प्रकाशित: (2024)
Computational Thinking First Algorithms, Then Code /
द्वारा: Ferragina, Paolo, और अन्य
प्रकाशित: (2024)
द्वारा: Ferragina, Paolo, और अन्य
प्रकाशित: (2024)
Theoretical Aspects of Computing – ICTAC 2024 21st International Colloquium, Bangkok, Thailand, November 25–29, 2024, Proceedings /
प्रकाशित: (2025)
प्रकाशित: (2025)
Unconventional Computation and Natural Computation 20th International Conference, UCNC 2023, Jacksonville, FL, USA, March 13–17, 2023, Proceedings /
प्रकाशित: (2023)
प्रकाशित: (2023)
Logic-Based Program Synthesis and Transformation 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings /
प्रकाशित: (2023)
प्रकाशित: (2023)
Logic and Engineering of Natural Language Semantics 20th International Conference, LENLS20, Osaka, Japan, November 18–20, 2023, Revised Selected Papers /
प्रकाशित: (2024)
प्रकाशित: (2024)
Logic and Engineering of Natural Language Semantics 19th International Conference, LENLS19, Tokyo, Japan, November 19–21, 2022, Revised Selected Papers /
प्रकाशित: (2023)
प्रकाशित: (2023)
Theoretical Aspects of Computing – ICTAC 2023 20th International Colloquium, Lima, Peru, December 4–8, 2023, Proceedings /
प्रकाशित: (2023)
प्रकाशित: (2023)