Formal Methods: 26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part II (Lecture Notes in Computer Science, 14934). Questo articolo non è disponibile.
Lingua: inglese
Editore: Springer, 2024
- Brossura
- Nuovo
Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections
Venditore AbeBooks dal 25 marzo 2015
Condizione: Nuovo
EUR 187,45
Descrizione dell’articolo da parte del venditore
In English.
Codice articolo ria9783031711763_new
- Titolo
- Formal Methods: 26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part II (Lecture Notes in Computer Science, 14934)
- Editore
- Springer
- Anno di pubblicazione
- 2024
- Condizione
- New
- Rilegatura
- Brossura
- Lingua
- inglese
- ISBN 10
- 3031711769
- ISBN 13
- 9783031711763
- Peso dell'articolo
- 1126 grammi
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.
"Riassunto" può appartenere a un’altra edizione di questo titolo.