LEADER 03219nam  22006855  450 
001 996655270603316
005 20250430130233.0
010   $a3-031-90897-X
024 7 $a10.1007/978-3-031-90897-2
035   $a(CKB)38672087600041
035   $a(DE-He213)978-3-031-90897-2
035   $a(MiAaPQ)EBC32077044
035   $a(Au-PeEL)EBL32077044
035   $a(EXLCZ)9938672087600041
100   $a20250430d2025      u|         0
101 0 $aeng
135   $aur|||||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aFoundations of Software Science and Computation Structures $e28th International Conference, FoSSaCS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3?8, 2025, Proceedings /$fedited by Parosh Aziz Abdulla, Delia Kesner
205   $a1st ed. 2025.
210  1$aCham :$cSpringer Nature Switzerland :$cImprint: Springer,$d2025.
215   $a1 online resource (X, 4114 p. 73 illus.) 
225 1 $aLecture Notes in Computer Science,$x1611-3349 ;$v15691
311 08$a3-031-90896-1 
330   $aThis open access book constitutes the proceedings of the 28th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2025, which took place in Hamilton, Canada, during May 2025, held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025. The 19 papers included in these proceedings were carefully reviewed and selected from 58 submissions. They focus on foundational research in software science on theories and methods to support the analysis, integration, synthesis, transformation, and verification of programs and software systems. .
410  0$aLecture Notes in Computer Science,$x1611-3349 ;$v15691
606   $aComputer science
606   $aLogic, Symbolic and mathematical
606   $aData structures (Computer science)
606   $aInformation theory
606   $aComputer systems
606   $aComputer science$xMathematics
606   $aTheory of Computation
606   $aMathematical Logic and Foundations
606   $aData Structures and Information Theory
606   $aComputer System Implementation
606   $aMathematics of Computing
615  0$aComputer science.
615  0$aLogic, Symbolic and mathematical.
615  0$aData structures (Computer science)
615  0$aInformation theory.
615  0$aComputer systems.
615  0$aComputer science$xMathematics.
615 14$aTheory of Computation.
615 24$aMathematical Logic and Foundations.
615 24$aData Structures and Information Theory.
615 24$aComputer System Implementation.
615 24$aMathematics of Computing.
676   $a004.0151
702   $aAbdulla$b Parosh Aziz$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aKesner$b Delia$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a996655270603316
996   $aFoundations of Software Science and Computation Structures$9772187
997   $aUNISA