LEADER 01675nam 22004093 450 001 996718309903316 005 20260509060255.0 010 $a3-032-22730-5 035 $a(CKB)46217730800041 035 $a(MiAaPQ)EBC32729505 035 $a(Au-PeEL)EBL32729505 035 $a(OCoLC)1590085759 035 $a(EXLCZ)9946217730800041 100 $a20260509d2026 uy 0 101 0 $aeng 135 $aur||||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aFoundations of Software Science and Computation Structures $e29th International Conference, FoSSaCS 2026, Held As Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, Turin, Italy, April 11-16, 2026, Proceedings 205 $a1st ed. 210 1$aCham :$cSpringer,$d2026. 210 4$dİ2026. 215 $a1 online resource (1474 pages) 225 1 $aLecture Notes in Computer Science Series ;$vv.16503 311 08$a3-032-22729-1 330 $aThis open access book constitutes the proceedings of the 29th International Conference on Foundations of Software Science and Computation Structures, FoSSaCS 2026, which was held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, in Turin, Italy, during April 11-16, 2026. 410 0$aLecture Notes in Computer Science Series 700 $aBertrand$b Nathalie 701 $aBertrand$01455438 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996718309903316 996 $aFoundations of Software Science and Computation Structures$94561732 997 $aUNISA