03112nam 22007695 450 991088696800332120251225183442.09783031711626303171162910.1007/978-3-031-71162-6(CKB)34985368400041(DE-He213)978-3-031-71162-6(MiAaPQ)EBC31727468(Au-PeEL)EBL31727468(OCoLC)1463089145(EXLCZ)993498536840004120240910d2025 u| 0engur|||||||||||txtrdacontentcrdamediacrrdacarrierFormal Methods 26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part I /edited by André Platzer, Kristin Yvonne Rozier, Matteo Pradella, Matteo Rossi1st ed. 2025.Cham :Springer Nature Switzerland :Imprint: Springer,2025.1 online resource (XXII, 680 p. 166 illus., 113 illus. in color.) Lecture Notes in Computer Science,1611-3349 ;149339783031711619 3031711610 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. .Lecture Notes in Computer Science,1611-3349 ;14933Software engineeringComputer scienceComputers, Special purposeProgramming languages (Electronic computers)MicroprogrammingNatural language processing (Computer science)Software EngineeringComputer Science Logic and Foundations of ProgrammingSpecial Purpose and Application-Based SystemsProgramming LanguageControl Structures and MicroprogrammingNatural Language Processing (NLP)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).005.1Platzer Andréedthttp://id.loc.gov/vocabulary/relators/edtRozier Kristin Yvonneedthttp://id.loc.gov/vocabulary/relators/edtPradella Matteoedthttp://id.loc.gov/vocabulary/relators/edtRossi Matteoedthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK9910886968003321Formal methods2247212UNINA