Formal Methods, Kartoniert / Broschiert

lieferbar innerhalb 2-3 Wochen
(soweit verfügbar beim Lieferanten)

EUR 164,28*

Versandkosten

Mehr von Lecture Notes i...

alle anzeigen

Themen:

Stichworte:

Verlag:

Springer Nature Switzerland

Formal Methods

Buch

26th International Symposium, FM 2024, Milan, Italy, September 9¿13, 2024, Proceedings, Part II

Herausgeber:: Andre Platzer, Matteo Rossi, Matteo Pradella, Kristin Yvonne Rozier
Verlag:: Springer Nature Switzerland, 09/2024
Einband:: Kartoniert / Broschiert, Paperback
Sprache:: Englisch
ISBN-13:: 9783031711763
Artikelnummer:: 11969481
Umfang:: 676 Seiten
Ausgabe:: 2025
Gewicht:: 1007 g
Maße:: 235 x 155 mm
Stärke:: 37 mm
Erscheinungstermin:: 13.9.2024
Serie:: Lecture Notes in Computer Science - Band 14934
Hinweis: Achtung: Artikel ist nicht in deutscher Sprache!

Klappentext

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.

Biografie (Matteo Rossi)

Dr. Matteo Rossi is an assistant professor at the Politecnico di Milano; his research interests are in the area of formal methods for industrial safety-critical systems.