封面圖片

The Combined Power of Research, Education, and Dissemination Essays Dedicated to Tiziana Margaria on the Occasion of Her 60th Birthday /

Starting with a Laurea in Ingegneria Elettronica and a PhD in Computer and Systems Engineering at the Politecnico di Torino, Tiziana has stayed faithful to her love of organized management of composable functionalities in software and systems, with building blocks and MDD, and she strives for cohere...

Saved in:

書目詳細資料
企業作者:	SpringerLink (Online service)
其他作者:	Hinchey, Mike (Editor), Steffen, Bernhard (Editor)
格式:	電子電子書
語言:	英语
出版:	Cham : Springer Nature Switzerland : Imprint: Springer, 2025.
版:	1st ed. 2025.
叢編:	Lecture Notes in Computer Science, 15240
主題:	Software engineering. Machine theory. Software Engineering. Formal Languages and Automata Theory.
在線閱讀:	https://doi.org/10.1007/978-3-031-73887-6
標簽:	添加標簽沒有標簽, 成為第一個標記此記錄!

相似書籍

Real Time and Such Essays Dedicated to Wang Yi to Celebrate His Scientific Career /
出版: (2025)

Programming-Based Formal Languages and Automata Theory Design, Implement, Validate, and Prove /
由: Morazán, Marco T.
出版: (2024)

Go Where the Bugs Are Essays Dedicated to Wolfgang Reif on the Occasion of His 65th Birthday /
出版: (2025)

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

Rigorous State-Based Methods 9th International Conference, ABZ 2023, Nancy, France, May 30–June 2, 2023, Proceedings /
出版: (2023)

Software Fault Prevention, Verification, and Validation First International Symposium, SFPVV 2024, Hiroshima, Japan, December 2–3, 2024, Proceedings /
出版: (2025)

Symbolic and Quantitative Approaches to Reasoning with Uncertainty 17th European Conference, ECSQARU 2023, Arras, France, September 19–22, 2023, Proceedings /
出版: (2024)

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

Artificial Intelligence Logic and Applications The 3rd International Conference, AILA 2023, Changchun, China, August 5–6, 2023, Proceedings /
出版: (2023)

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

Limits of Mathematics A Journey Through the Key Areas of Mathematical Logic /
由: Hoffmann, Dirk W.
出版: (2025)

The Practice of Formal Methods Essays in Honour of Cliff Jones, Part I /
出版: (2024)

The Practice of Formal Methods Essays in Honour of Cliff Jones, Part II /
出版: (2024)

The French School of Programming
出版: (2024)

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

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

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

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

Restarting Automata The Standard Type of Restarting Automaton and Its Variants /
由: Otto, Friedrich
出版: (2025)

Restarting Automata Extensions and Generalizations /
由: Otto, Friedrich
出版: (2025)

Logic and Its Applications 10th Indian Conference, ICLA 2023, Indore, India, March 3–5, 2023, Proceedings /
出版: (2023)

Logic and Its Applications 11th Indian Conference, ICLA 2025, Kolkata, India, February 3–5, 2025, Proceedings /
出版: (2025)

Metainferential Logics
由: Pailos, Federico, et al.
出版: (2023)

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

Automata Theory And Formal Languages /
由: Kandar, Shyamalendu
出版: (2012)

Automata Theory And Formal Languages /
由: Kandar, Shyamalendu
出版: (2012)

Automata Theory And Formal Languages /
由: Kandar, Shyamalendu
出版: (2012)

Institution-independent Model Theory
由: Diaconescu, Răzvan
出版: (2025)

Introduction to Formal Languages, Automata Theory and Computation /
由: Krithivasan, Kamala
出版: (2009)

Introduction to Formal Languages, Automata Theory and Computation /
由: Krithivasan, Kamala
出版: (2009)

Introduction to Formal Languages, Automata Theory and Computation /
由: Krithivasan, Kamala
出版: (2009)

Reachability Problems 17th International Conference, RP 2023, Nice, France, October 11–13, 2023, Proceedings /
出版: (2023)

Reachability Problems 18th International Conference, RP 2024, Vienna, Austria, September 25–27, 2024, Proceedings /
出版: (2024)

Rewriting Logic and Its Applications 15th International Workshop, WRLA 2024, Luxembourg City, Luxembourg, April 6–7, 2024, Revised Selected Papers /
出版: (2024)

Formal Aspects of Component Software 20th International Conference, FACS 2024, Milan, Italy, September 9–10, 2024, Proceedings /
出版: (2024)

An Introduction to Theory of Computation An Algorithmic Approach /
由: Ogihara, Mitsunori
出版: (2025)

Machine Learning and Knowledge Extraction 7th IFIP TC 5, TC 12, WG 8.4, WG 8.9, WG 12.9 International Cross-Domain Conference, CD-MAKE 2023, Benevento, Italy, August 29 – September 1, 2023, Proceedings /
出版: (2023)

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

Formal Aspects of Component Software 19th International Conference, FACS 2023, Virtual Event, October 19-20, 2023, Revised Selected Papers /
出版: (2024)

Rigorous State-Based Methods 10th International Conference, ABZ 2024, Bergamo, Italy, June 25–28, 2024, Proceedings /
出版: (2024)