Andere Kunden interessierten sich auch für
![Formal Methods]( "Formal Methods")
Formal Methods31,99 €![Formal Methods]( "Formal Methods")
Formal Methods74,99 €![Integrated Formal Methods]( "Integrated Formal Methods")
Integrated Formal Methods37,99 €![SOFSEM 2024: Theory and Practice of Computer Science]( "SOFSEM 2024: Theory and Practice of Computer Science")
SOFSEM 2024: Theory and Practice of Computer Science55,99 €![Computing and Combinatorics]( "Computing and Combinatorics")
Computing and Combinatorics75,99 €![Computer Science ¿ Theory and Applications]( "Computer Science ¿ Theory and Applications")
Computer Science ¿ Theory and Applications37,99 €![From Data to Models and Back]( "From Data to Models and Back")
From Data to Models and Back41,99 €
The open access book set LNCS 14933 + 14934 constitutes the refereed proceedings of the 26th International Symposium on Formal Methods, FM 2024, which took place in Milan, Italy, in September 2024.
The 51 full and 4 short papers included in these proceedings were carefully reviewed and selected from 219 submissions. They also include 2 invited talks in full paper length and 10 tutorial papers. The contributions were organized in topical sections as follows:
Part I: Invited papers; fundamentals of formal verification; foundations; learn and repair; programming languages.- logic and automata;
Part II: Tools and case studies; embedded systems track; industry day track; tutorial papers.
The 51 full and 4 short papers included in these proceedings were carefully reviewed and selected from 219 submissions. They also include 2 invited talks in full paper length and 10 tutorial papers. The contributions were organized in topical sections as follows:
Part I: Invited papers; fundamentals of formal verification; foundations; learn and repair; programming languages.- logic and automata;
Part II: Tools and case studies; embedded systems track; industry day track; tutorial papers.