02882nam 22006735 450 991088696800332120240910130253.03-031-71162-910.1007/978-3-031-71162-6(CKB)34985368400041(DE-He213)978-3-031-71162-6(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 ;149333-031-71161-0 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/edtBOOK9910886968003321Formal methods2247212UNINA