The Practice of Formal Methods Essays in Honour of Cliff Jones, Part II /
This Festschrift, dedicated to Cliff Jones, contains papers written by many of his closest collaborators. Cliff has an exceptional international standing for his groundbreaking research and leadership within the practice of formal methods, his career encompasses significant contributions to academia...
保存先:
| 団体著者: | |
|---|---|
| その他の著者: | , |
| フォーマット: | 電子媒体 eBook |
| 言語: | 英語 |
| 出版事項: |
Cham :
Springer Nature Switzerland : Imprint: Springer,
2024.
|
| 版: | 1st ed. 2024. |
| シリーズ: | Lecture Notes in Computer Science,
14781 |
| 主題: | |
| オンライン･アクセス: | https://doi.org/10.1007/978-3-031-66673-5 |
| タグ: |
タグ追加
タグなし, このレコードへの初めてのタグを付けませんか!
|
類似資料
The Practice of Formal Methods Essays in Honour of Cliff Jones, Part I /
出版事項: (2024)
出版事項: (2024)
The Application of Formal Methods Essays Dedicated to Jim Woodcock on the Occasion of His Retirement /
出版事項: (2024)
出版事項: (2024)
Rigorous State-Based Methods 9th International Conference, ABZ 2023, Nancy, France, May 30–June 2, 2023, Proceedings /
出版事項: (2023)
出版事項: (2023)
Programming-Based Formal Languages and Automata Theory Design, Implement, Validate, and Prove /
著者:: Morazán, Marco T.
出版事項: (2024)
著者:: Morazán, Marco T.
出版事項: (2024)
Foundations of Information and Knowledge Systems 13th International Symposium, FoIKS 2024, Sheffield, UK, April 8–11, 2024, Proceedings /
出版事項: (2024)
出版事項: (2024)
Formal Aspects of Component Software 19th International Conference, FACS 2023, Virtual Event, October 19-20, 2023, Revised Selected Papers /
出版事項: (2024)
出版事項: (2024)
Formal Aspects of Component Software 20th International Conference, FACS 2024, Milan, Italy, September 9–10, 2024, Proceedings /
出版事項: (2024)
出版事項: (2024)
Automata Theory And Formal Languages /
著者:: Kandar, Shyamalendu
出版事項: (2012)
著者:: Kandar, Shyamalendu
出版事項: (2012)
Automata Theory And Formal Languages /
著者:: Kandar, Shyamalendu
出版事項: (2012)
著者:: Kandar, Shyamalendu
出版事項: (2012)
Automata Theory And Formal Languages /
著者:: Kandar, Shyamalendu
出版事項: (2012)
著者:: Kandar, Shyamalendu
出版事項: (2012)
Software Fault Prevention, Verification, and Validation First International Symposium, SFPVV 2024, Hiroshima, Japan, December 2–3, 2024, Proceedings /
出版事項: (2025)
出版事項: (2025)
Rigorous State-Based Methods 10th International Conference, ABZ 2024, Bergamo, Italy, June 25–28, 2024, Proceedings /
出版事項: (2024)
出版事項: (2024)
Artificial Intelligence Logic and Applications The 3rd International Conference, AILA 2023, Changchun, China, August 5–6, 2023, Proceedings /
出版事項: (2023)
出版事項: (2023)
Combinatorics on Words 14th International Conference, WORDS 2023, Umeå, Sweden, June 12–16, 2023, Proceedings /
出版事項: (2023)
出版事項: (2023)
Combinatorics on Words 15th International Conference, WORDS 2025, Nancy, France, June 30 – July 4, 2025, Proceedings /
出版事項: (2025)
出版事項: (2025)
Reachability Problems 18th International Conference, RP 2024, Vienna, Austria, September 25–27, 2024, Proceedings /
出版事項: (2024)
出版事項: (2024)
Reachability Problems 17th International Conference, RP 2023, Nice, France, October 11–13, 2023, Proceedings /
出版事項: (2023)
出版事項: (2023)
Recent Trends in Algebraic Development Techniques 26th IFIP WG 1.3 International Workshop, WADT 2022, Aveiro, Portugal, June 28–30, 2022, Revised Selected Papers /
出版事項: (2023)
出版事項: (2023)
Recent Trends in Algebraic Development Techniques 27th IFIP WG 1.3 International Workshop, WADT 2024, Enschede, The Netherlands, July 8, 2024, Revised Selected Papers /
出版事項: (2025)
出版事項: (2025)
R-Calculus, IV: Propositional Logic
著者:: Li, Wei, 等
出版事項: (2023)
著者:: Li, Wei, 等
出版事項: (2023)
Real Time and Such Essays Dedicated to Wang Yi to Celebrate His Scientific Career /
出版事項: (2025)
出版事項: (2025)
The Combined Power of Research, Education, and Dissemination Essays Dedicated to Tiziana Margaria on the Occasion of Her 60th Birthday /
出版事項: (2025)
出版事項: (2025)
The French School of Programming
出版事項: (2024)
出版事項: (2024)
Logic and Its Applications 10th Indian Conference, ICLA 2023, Indore, India, March 3–5, 2023, Proceedings /
出版事項: (2023)
出版事項: (2023)
Logic and Its Applications 11th Indian Conference, ICLA 2025, Kolkata, India, February 3–5, 2025, Proceedings /
出版事項: (2025)
出版事項: (2025)
R-Calculus, V: Description Logics
著者:: Li, Wei, 等
出版事項: (2024)
著者:: Li, Wei, 等
出版事項: (2024)
Limits of Mathematics A Journey Through the Key Areas of Mathematical Logic /
著者:: Hoffmann, Dirk W.
出版事項: (2025)
著者:: Hoffmann, Dirk W.
出版事項: (2025)
Formal Languages and Automata Theory /
著者:: Anami, Basavaraj S.
出版事項: (2011)
著者:: Anami, Basavaraj S.
出版事項: (2011)
Formal Languages and Automata Theory /
著者:: Anami, Basavaraj S.
出版事項: (2011)
著者:: Anami, Basavaraj S.
出版事項: (2011)
Formal Languages and Automata Theory /
著者:: Anami, Basavaraj S.
出版事項: (2011)
著者:: Anami, Basavaraj S.
出版事項: (2011)
Restarting Automata The Standard Type of Restarting Automaton and Its Variants /
著者:: Otto, Friedrich
出版事項: (2025)
著者:: Otto, Friedrich
出版事項: (2025)
Restarting Automata Extensions and Generalizations /
著者:: Otto, Friedrich
出版事項: (2025)
著者:: Otto, Friedrich
出版事項: (2025)
Practical Aspects of Declarative Languages 25th International Symposium, PADL 2023, Boston, MA, USA, January 16–17, 2023, Proceedings /
出版事項: (2023)
出版事項: (2023)
INTRODUCTION TO AUTOMATA THEORY, LANGUAGES, AND COMPUTATION /
著者:: Hopcroft, John E.
出版事項: (1979)
著者:: Hopcroft, John E.
出版事項: (1979)
Introduction to automata theory, languages, and computation /
著者:: Hopcroft, John E.
出版事項: (2001)
著者:: Hopcroft, John E.
出版事項: (2001)
INTRODUCTION TO AUTOMATA THEORY, LANGUAGES, AND COMPUTATION /
著者:: Hopcroft, John E.
出版事項: (1979)
著者:: Hopcroft, John E.
出版事項: (1979)
Introduction to automata theory, languages, and computation /
著者:: Hopcroft, John E.
出版事項: (2001)
著者:: Hopcroft, John E.
出版事項: (2001)
INTRODUCTION TO AUTOMATA THEORY, LANGUAGES, AND COMPUTATION /
著者:: Hopcroft, John E.
出版事項: (1979)
著者:: Hopcroft, John E.
出版事項: (1979)
Introduction to automata theory, languages, and computation /
著者:: Hopcroft, John E.
出版事項: (2001)
著者:: Hopcroft, John E.
出版事項: (2001)
Elements of the Theory of Computation
著者:: Lewis, Harry R.
出版事項: (1998)
著者:: Lewis, Harry R.
出版事項: (1998)