LEADER 03132nam  22006733u 450 
001 996464553603316
005 20230221131535.0
010   $a3-030-99253-5
035   $a(CKB)5860000000038014
035   $aEBL6942704
035   $a(AU-PeEL)EBL6942704
035   $a(MiAaPQ)EBC6942704
035   $a(oapen)https://directory.doabooks.org/handle/20.500.12854/81433
035   $a(PPN)261518232
035   $a(EXLCZ)995860000000038014
100   $a20220617d2022||||  uy             0
101 0 $aeng
135   $aur|n|---|||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aFoundations of software science and computation structures $e25th International Conference, FOSSACS 2022, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings /$feditors, Patricia Bouyer, Lutz Schro?der
210   $aCham $cSpringer International Publishing AG$d2022
215   $a1 online resource (xvi, 471 pages) $cillustrations
225 1 $aLecture notes in computer science$vv.13242
300   $aIncludes author index.
300   $aDescription based upon print version of record.
311 1 $a3-030-99252-7 
330   $aThis open access book constitutes the proceedings of the 25th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2022, which was held during April 4-6, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. The 23 regular papers presented in this volume were carefully reviewed and selected from 77 submissions. They deal with research 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$v13242.
606   $aComputer software$vCongresses
606   $aSoftware engineering$vCongresses
610   $aCategorical models and logics
610   $alanguage theory, automata, and games
610   $amodal, spatial, and temporal logics
610   $atype theory and proof theory
610   $aconcurrency theory and process calculi
610   $arewriting theory
610   $asemantics of programming languages
610   $aprogram analysis
610   $alogics of programming
610   $asoftware specification and refinement
610   $amodels of concurrent systems
610   $aemerging models of computation
610   $alogical aspects of computational complexity
610   $acorrectness, transformation, and verification
610   $amodels of software security
615  0$aComputer software
615  0$aSoftware engineering
700   $aBouyer$b Patricia$4edt
701   $aBouyer$b Patricia$f1976-$01236515
701   $aSchröder$b Lutz$01236516
801  0$bAU-PeEL
801  1$bAU-PeEL
801  2$bAU-PeEL
906   $aBOOK
912   $a996464553603316
996   $aFoundations of Software Science and Computation Structures$92871124
997   $aUNISA