Bearbmagovva

The Practice of Formal Methods Essays in Honour of Cliff Jones, Part I /

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...

Furkejuvvon:

Bibliográfalaš dieđut
Searvvušdahkki:	SpringerLink (Online service)
Eará dahkkit:	Cavalcanti, Ana (Doaimmaheaddji), Baxter, James (Doaimmaheaddji)
Materiálatiipa:	Elektrovnnalaš E-girji
Giella:	eaŋgalasgiella
Almmustuhtton:	Cham : Springer Nature Switzerland : Imprint: Springer, 2024.
Preanttus:	1st ed. 2024.
Ráidu:	Lecture Notes in Computer Science, 14780
Fáttát:	Machine theory. Programming languages (Electronic computers). Formal Languages and Automata Theory. Programming Language.
Liŋkkat:	https://doi.org/10.1007/978-3-031-66676-6
Fáddágilkorat:	Lasit fáddágilkoriid Eai fáddágilkorat, Lasit vuosttaš fáddágilkora!

Geahča maid

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

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

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

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

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

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

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

Automata Theory And Formal Languages /
Dahkki: Kandar, Shyamalendu
Almmustuhtton: (2012)

Automata Theory And Formal Languages /
Dahkki: Kandar, Shyamalendu
Almmustuhtton: (2012)

Automata Theory And Formal Languages /
Dahkki: Kandar, Shyamalendu
Almmustuhtton: (2012)

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

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

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

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

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

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

Reachability Problems 17th International Conference, RP 2023, Nice, France, October 11–13, 2023, Proceedings /
Almmustuhtton: (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 /
Almmustuhtton: (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 /
Almmustuhtton: (2025)

R-Calculus, IV: Propositional Logic
Dahkki: Li, Wei, et al.
Almmustuhtton: (2023)

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

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

The French School of Programming
Almmustuhtton: (2024)

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

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

R-Calculus, V: Description Logics
Dahkki: Li, Wei, et al.
Almmustuhtton: (2024)

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

Formal Languages and Automata Theory /
Dahkki: Anami, Basavaraj S.
Almmustuhtton: (2011)

Formal Languages and Automata Theory /
Dahkki: Anami, Basavaraj S.
Almmustuhtton: (2011)

Formal Languages and Automata Theory /
Dahkki: Anami, Basavaraj S.
Almmustuhtton: (2011)

Restarting Automata The Standard Type of Restarting Automaton and Its Variants /
Dahkki: Otto, Friedrich
Almmustuhtton: (2025)

Restarting Automata Extensions and Generalizations /
Dahkki: Otto, Friedrich
Almmustuhtton: (2025)

Practical Aspects of Declarative Languages 25th International Symposium, PADL 2023, Boston, MA, USA, January 16–17, 2023, Proceedings /
Almmustuhtton: (2023)

INTRODUCTION TO AUTOMATA THEORY, LANGUAGES, AND COMPUTATION /
Dahkki: Hopcroft, John E.
Almmustuhtton: (1979)

Introduction to automata theory, languages, and computation /
Dahkki: Hopcroft, John E.
Almmustuhtton: (2001)

INTRODUCTION TO AUTOMATA THEORY, LANGUAGES, AND COMPUTATION /
Dahkki: Hopcroft, John E.
Almmustuhtton: (1979)

Introduction to automata theory, languages, and computation /
Dahkki: Hopcroft, John E.
Almmustuhtton: (2001)

INTRODUCTION TO AUTOMATA THEORY, LANGUAGES, AND COMPUTATION /
Dahkki: Hopcroft, John E.
Almmustuhtton: (1979)

Introduction to automata theory, languages, and computation /
Dahkki: Hopcroft, John E.
Almmustuhtton: (2001)

Elements of the Theory of Computation
Dahkki: Lewis, Harry R.
Almmustuhtton: (1998)