Formal Methods 26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part II

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

Celý popis

Uložené v:

Podrobná bibliografia
Hlavní autori:	Platzer, Andre, Rozier, Kristin Yvonne, Pradella, Matteo, Rossi, Matteo
Médium:	E-kniha
Jazyk:	English
Vydavateľské údaje:	Cham Springer Nature 2025 Springer
Vydanie:	1
Edícia:	Lecture Notes in Computer Science
Predmet:	architecture verification and validation Artificial intelligence computational complexity and cryptography Computer hardware Computer programming / software engineering Computer science Computing and Information Technology design and analysis of algorithms embedded systems Expert systems / knowledge-based systems formal languages and automata theory formal logic formal methods machine learning Mathematical theory of computation model checking models of computation Natural language and machine translation Programming and scripting languages: general semantics and reasoning Software Engineering theory and algorithms for application domains
ISBN:	3031711769, 9783031711770, 3031711777, 9783031711763
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!

Buďte prvý, kto okomentuje tento záznam!