Imatge de la portada

Theories of Programming and Formal Methods Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday /

This Festschrift volume, dedicated to Jifeng He on the occasion of his 80th birthday, includes refereed papers by leading researchers, many of them current and former colleagues, presented at a dedicated celebration in the Shanghai Science Hall in September 2023. Jifeng was an important researcher o...

Descripció completa

Guardat en:

Dades bibliogràfiques
Autor corporatiu:	SpringerLink (Online service)
Altres autors:	Bowen, Jonathan P. (Editor), Li, Qin (Editor), Xu, Qiwen (Editor)
Format:	Electrònic eBook
Idioma:	anglès
Publicat:	Cham : Springer Nature Switzerland : Imprint: Springer, 2023.
Edició:	1st ed. 2023.
Col·lecció:	Lecture Notes in Computer Science, 14080
Matèries:	Software engineering. Computer science. Software Engineering. Computer Science Logic and Foundations of Programming.
Accés en línia:	https://doi.org/10.1007/978-3-031-40436-8
Etiquetes:	Afegir etiqueta Sense etiquetes, Sigues el primer a etiquetar aquest registre!

Ítems similars

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

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

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

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

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

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

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

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

The Application of Formal Methods Essays Dedicated to Jim Woodcock on the Occasion of His Retirement /
Publicat: (2024)

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

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

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

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

Formal Methods Teaching 6th Formal Methods Teaching Workshop, FMTea 2024, Milan, Italy, September 10, 2024, Proceedings /
Publicat: (2024)

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

Formal Methods Teaching 5th International Workshop, FMTea 2023, Lübeck, Germany, March 6, 2023, Proceedings /
Publicat: (2023)

Formal Methods 25th International Symposium, FM 2023, Lübeck, Germany, March 6–10, 2023, Proceedings /
Publicat: (2023)

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

Logic-Based Program Synthesis and Transformation 34th International Symposium, LOPSTR 2024, Milan, Italy, September 9–10, 2024, Proceedings /
Publicat: (2024)

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

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

Theory of Computation Automata, Formal Languages, Computation and Complexity /
per: Chowdhary, K.R
Publicat: (2025)

Functional and Logic Programming 17th International Symposium, FLOPS 2024, Kumamoto, Japan, May 15–17, 2024, Proceedings /
Publicat: (2024)

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

Descriptional Complexity of Formal Systems 25th IFIP WG 1.02 International Conference, DCFS 2023, Potsdam, Germany, July 4–6, 2023, Proceedings /
Publicat: (2023)

Descriptional Complexity of Formal Systems 26th IFIP WG 1.02 International Conference, DCFS 2025, Loughborough, UK, July 22–24, 2025, Proceedings /
Publicat: (2025)

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

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

Theoretical Aspects of Computing – ICTAC 2023 20th International Colloquium, Lima, Peru, December 4–8, 2023, Proceedings /
Publicat: (2023)

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

Logic and Engineering of Natural Language Semantics 19th International Conference, LENLS19, Tokyo, Japan, November 19–21, 2022, Revised Selected Papers /
Publicat: (2023)

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

Formal Methods and Software Engineering 25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2–6, 2024, Proceedings /
Publicat: (2024)

Formal Methods and Software Engineering 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21–24, 2023, Proceedings /
Publicat: (2023)

Frontiers in Software Engineering Education Second International Workshop, FISEE 2023, Villebrumier, France, January 23–25, 2023, Invited Papers /
Publicat: (2023)

Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops CIFMA 2023 and OpenCERT 2023, Eindhoven, The Netherlands, November 6–10, 2023, Revised Selected Papers /
Publicat: (2024)

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

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

Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops AI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 26–30, 2022, Revised Selected Papers /
Publicat: (2023)

Software Engineering and Formal Methods 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings /
Publicat: (2023)