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

Código QR

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

This open access book constitutes the refereed proceedings of the 26th International Symposium on Formal Methods, FM 2024, which took place in Milan, Italy, in September 2024. .

Detalles Bibliográficos
Otros Autores:	Platzer, André. editor (editor), Rozier, Kristin Yvonne. editor, Pradella, Matteo. editor, Rossi, Matteo. editor
Formato:	Libro electrónico
Idioma:	Inglés
Publicado:	Cham : Springer Nature Switzerland 2025.
Edición:	1st ed. 2025.
Colección:	Lecture Notes in Computer Science, 14933
Materias:	Software engineering. Computer science. Computers, Special purpose. Programming languages (Electronic computers). Microprogramming. Natural language processing (Computer science). Software Engineering. Computer Science Logic and Foundations of Programming. Special Purpose and Application-Based Systems. Programming Language. Control Structures and Microprogramming. Natural Language Processing (NLP).
Ver en Biblioteca Universitat Ramon Llull:	https://discovery.url.edu/permalink/34CSUC_URL/1im36ta/alma991009850341406719

Descripción
Sumario:	This open access book constitutes the refereed proceedings of the 26th International Symposium on Formal Methods, FM 2024, which took place in Milan, Italy, in September 2024. .
Descripción Física:	1 online resource (XXII, 680 p. 166 illus., 113 illus. in color.)
ISBN:	9783031711626