Obálka

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

This book constitutes the refereed proceedings of the 9th International Conference on Rigorous State-Based Methods, ABZ 2023, held in Nancy, France, in May 2023. The 12 full and 7 short papers included in this volume were carefully reviewed and selected from 47 submissions. The proceedings also incl...

Uloženo v:

Podrobná bibliografie
Korporativní autor:	SpringerLink (Online service)
Další autoři:	Glässer, Uwe (Editor), Creissac Campos, Jose (Editor), Méry, Dominique (Editor), Palanque, Philippe (Editor)
Médium:	Elektronický zdroj E-kniha
Jazyk:	angličtina
Vydáno:	Cham : Springer Nature Switzerland : Imprint: Springer, 2023.
Vydání:	1st ed. 2023.
Edice:	Lecture Notes in Computer Science, 14010
Témata:	Machine theory. Formal Languages and Automata Theory.
On-line přístup:	https://doi.org/10.1007/978-3-031-33163-3
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Podobné jednotky

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

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

The Practice of Formal Methods Essays in Honour of Cliff Jones, Part I /
Vydáno: (2024)

The Practice of Formal Methods Essays in Honour of Cliff Jones, Part II /
Vydáno: (2024)

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

Combinatorics on Words 15th International Conference, WORDS 2025, Nancy, France, June 30 – July 4, 2025, Proceedings /
Vydáno: (2025)

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

Combinatorics on Words 14th International Conference, WORDS 2023, Umeå, Sweden, June 12–16, 2023, Proceedings /
Vydáno: (2023)

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

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

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

The Combined Power of Research, Education, and Dissemination Essays Dedicated to Tiziana Margaria on the Occasion of Her 60th Birthday /
Vydáno: (2025)

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

Real Time and Such Essays Dedicated to Wang Yi to Celebrate His Scientific Career /
Vydáno: (2025)

R-Calculus, IV: Propositional Logic
Autor: Li, Wei, a další
Vydáno: (2023)

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

Foundations of Information and Knowledge Systems 13th International Symposium, FoIKS 2024, Sheffield, UK, April 8–11, 2024, Proceedings /
Vydáno: (2024)

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

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

Limits of Mathematics A Journey Through the Key Areas of Mathematical Logic /
Autor: Hoffmann, Dirk W.
Vydáno: (2025)

R-Calculus, V: Description Logics
Autor: Li, Wei, a další
Vydáno: (2024)

Automata Theory And Formal Languages /
Autor: Kandar, Shyamalendu
Vydáno: (2012)

Automata Theory And Formal Languages /
Autor: Kandar, Shyamalendu
Vydáno: (2012)

Automata Theory And Formal Languages /
Autor: Kandar, Shyamalendu
Vydáno: (2012)

Restarting Automata The Standard Type of Restarting Automaton and Its Variants /
Autor: Otto, Friedrich
Vydáno: (2025)

Restarting Automata Extensions and Generalizations /
Autor: Otto, Friedrich
Vydáno: (2025)

Metainferential Logics
Autor: Pailos, Federico, a další
Vydáno: (2023)

Institution-independent Model Theory
Autor: Diaconescu, Răzvan
Vydáno: (2025)

An Introduction to Theory of Computation An Algorithmic Approach /
Autor: Ogihara, Mitsunori
Vydáno: (2025)

Recent Trends in Algebraic Development Techniques 26th IFIP WG 1.3 International Workshop, WADT 2022, Aveiro, Portugal, June 28–30, 2022, Revised Selected Papers /
Vydáno: (2023)

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

INTRODUCTION TO AUTOMATA THEORY, LANGUAGES, AND COMPUTATION /
Autor: Hopcroft, John E.
Vydáno: (1979)

Introduction to automata theory, languages, and computation /
Autor: Hopcroft, John E.
Vydáno: (2001)

INTRODUCTION TO AUTOMATA THEORY, LANGUAGES, AND COMPUTATION /
Autor: Hopcroft, John E.
Vydáno: (1979)

INTRODUCTION TO AUTOMATA THEORY, LANGUAGES, AND COMPUTATION /
Autor: Hopcroft, John E.
Vydáno: (1979)

Introduction to automata theory, languages, and computation /
Autor: Hopcroft, John E.
Vydáno: (2001)

Introduction to automata theory, languages, and computation /
Autor: Hopcroft, John E.
Vydáno: (2001)

Elements of the Theory of Computation
Autor: Lewis, Harry R.
Vydáno: (1998)

Recent Trends in Algebraic Development Techniques 27th IFIP WG 1.3 International Workshop, WADT 2024, Enschede, The Netherlands, July 8, 2024, Revised Selected Papers /
Vydáno: (2025)

Coalgebraic Methods in Computer Science 17th IFIP WG 1.3 International Workshop, CMCS 2024, Colocated with ETAPS 2024, Luxembourg City, Luxembourg, April 6–7, 2024, Proceedings /
Vydáno: (2024)