LEADER 03539nam  22007335  450 
001 9910888050603321
005 20251225185044.0
010   $a3-031-71177-7
024 7 $a10.1007/978-3-031-71177-0
035   $a(CKB)36015163700041
035   $a(DE-He213)978-3-031-71177-0
035   $a(MiAaPQ)EBC31727471
035   $a(Au-PeEL)EBL31727471
035   $a(EXLCZ)9936015163700041
100   $a20240912d2025      u|         0
101 0 $aeng
135   $aur|||||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aFormal Methods $e26th International Symposium, FM 2024, Milan, Italy, September 9?13, 2024, Proceedings, Part II /$fedited by Andre Platzer, Kristin Yvonne Rozier, Matteo Pradella, Matteo Rossi
205   $a1st ed. 2025.
210  1$aCham :$cSpringer Nature Switzerland :$cImprint: Springer,$d2025.
215   $a1 online resource (XXII, 652 p. 193 illus., 170 illus. in color.) 
225 1 $aLecture Notes in Computer Science,$x1611-3349 ;$v14934
311 08$a3-031-71176-9 
330   $aThe 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. .
410  0$aLecture Notes in Computer Science,$x1611-3349 ;$v14934
606   $aSoftware engineering
606   $aComputer science
606   $aComputers, Special purpose
606   $aProgramming languages (Electronic computers)
606   $aMicroprogramming
606   $aNatural language processing (Computer science)
606   $aSoftware Engineering
606   $aComputer Science Logic and Foundations of Programming
606   $aSpecial Purpose and Application-Based Systems
606   $aProgramming Language
606   $aControl Structures and Microprogramming
606   $aNatural Language Processing (NLP)
615  0$aSoftware engineering.
615  0$aComputer science.
615  0$aComputers, Special purpose.
615  0$aProgramming languages (Electronic computers)
615  0$aMicroprogramming.
615  0$aNatural language processing (Computer science)
615 14$aSoftware Engineering.
615 24$aComputer Science Logic and Foundations of Programming.
615 24$aSpecial Purpose and Application-Based Systems.
615 24$aProgramming Language.
615 24$aControl Structures and Microprogramming.
615 24$aNatural Language Processing (NLP).
676   $a005.1
702   $aPlatzer$b Andre?$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aRozier$b Kristin Yvonne$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aPradella$b Matteo$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aRossi$b Matteo$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910888050603321
996   $aFormal methods$92247212
997   $aUNINA