Okładka

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

This book constitutes the refereed proceedings of the 10th International Conference on Rigorous State-Based Methods, ABZ 2024, held in Bergamo, Italy, during June 25–28, 2024. The 29 papers included in this volume were carefully reviewed and selected from 47 submissions. They were organized in topic...

Szczegółowa specyfikacja

Zapisane w:

Opis bibliograficzny
Korporacja:	SpringerLink (Online service)
Kolejni autorzy:	Bonfanti, Silvia (Redaktor), Gargantini, Angelo (Redaktor), Leuschel, Michael (Redaktor), Riccobene, Elvinia (Redaktor), Scandurra, Patrizia (Redaktor)
Format:	Elektroniczne E-book
Język:	angielski
Wydane:	Cham : Springer Nature Switzerland : Imprint: Springer, 2024.
Wydanie:	1st ed. 2024.
Seria:	Lecture Notes in Computer Science, 14759
Hasła przedmiotowe:	Machine theory. Computer engineering. Computer networks . Application software. Logic programming. Compilers (Computer programs). Formal Languages and Automata Theory. Computer Engineering and Networks. Computer and Information Systems Applications. Logic in AI. Compilers and Interpreters.
Dostęp online:	https://doi.org/10.1007/978-3-031-63790-2
Etykiety:	Dodaj etykietę Nie ma etykietki, Dołącz pierwszą etykiete!

Podobne zapisy

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

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

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

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

Inductive Logic Programming 32nd International Conference, ILP 2023, Bari, Italy, November 13–15, 2023, Proceedings /
Wydane: (2023)

Inductive Logic Programming 31st International Conference, ILP 2022, Windsor Great Park, UK, September 28–30, 2022, Proceedings /
Wydane: (2024)

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

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

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

Static Analysis 31st International Symposium, SAS 2024, Pasadena, CA, USA, October 20–22, 2024, Proceedings /
Wydane: (2025)

R-Calculus, IV: Propositional Logic
od: Li, Wei, i wsp.
Wydane: (2023)

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

Static Analysis 30th International Symposium, SAS 2023, Cascais, Portugal, October 22–24, 2023, Proceedings /
Wydane: (2023)

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

Programming Languages: Principles and Paradigms
od: Gabbrielli, Maurizio, i wsp.
Wydane: (2023)

Introduction to Compiler Design
od: Mogensen, Torben Ægidius
Wydane: (2024)

Logic and Argumentation 5th International Conference, CLAR 2023, Hangzhou, China, September 10-12, 2023, Proceedings /
Wydane: (2023)

Logic and Argumentation 6th International Conference, CLAR 2025, Taiyuan, China, June 14–16, 2025, Proceedings /
Wydane: (2025)

R-Calculus, V: Description Logics
od: Li, Wei, i wsp.
Wydane: (2024)

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 /
Wydane: (2024)

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

Principles of compiler design : with a foreword and suggested exercises by S. Biswas
od: Aho, Alfred V.

The Essence of Compilers /
od: Hunter, Robin
Wydane: (2007)

The Essence of Compilers /
od: Hunter, Robin
Wydane: (2007)

Principles of compiler design : with a foreword and suggested exercises by S. Biswas
od: Aho, Alfred V.

Principles of compiler design : with a foreword and suggested exercises by S. Biswas
od: Aho, Alfred V.

The Essence of Compilers /
od: Hunter, Robin
Wydane: (2007)

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

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

Formal Methods for Industrial Critical Systems 29th International Conference, FMICS 2024, Milan, Italy, September 9–11, 2024, Proceedings /
Wydane: (2024)

A Concise Introduction to Software Engineering With Open Source and GenAI /
od: Jalote, Pankaj
Wydane: (2025)

Learn coding with Python and JavaScript A practical introduction for beginners /
od: Zuckarelli, Joachim L.
Wydane: (2024)

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

Formal Methods for Industrial Critical Systems 28th International Conference, FMICS 2023, Antwerp, Belgium, September 20–22, 2023, Proceedings /
Wydane: (2023)

Reasoning Web. Declarative Artificial Intelligence: Knowledge, Rules, Logic 19th International Summer School 2023 Oslo, Norway, September 21–24, 2023, Tutorial Lectures /
Wydane: (2025)

Programming Languages and Systems 22nd Asian Symposium, APLAS 2024, Kyoto, Japan, October 22-24, 2024, Proceedings /
Wydane: (2025)

Developments in Language Theory 27th International Conference, DLT 2023, Umeå, Sweden, June 12–16, 2023, Proceedings /
Wydane: (2023)

Modern compiler design
od: Grune, Dick
Wydane: (2000)

Compiler Construction Fundamentals and Applications /
od: Mössenböck, Hanspeter
Wydane: (2025)

Programming Languages and Systems 21st Asian Symposium, APLAS 2023, Taipei, Taiwan, November 26–29, 2023, Proceedings /
Wydane: (2023)