LEADER 03101nam  22006375  450 
001 9910380748703321
005 20230509192224.0
010   $a3-030-40914-7
024 7 $a10.1007/978-3-030-40914-2
035   $a(CKB)4100000010480270
035   $a(DE-He213)978-3-030-40914-2
035   $a(MiAaPQ)EBC6112408
035   $a(PPN)242979173
035   $a(EXLCZ)994100000010480270
100   $a20200212d2020      u|         0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aFormal Aspects of Component Software $e16th International Conference, FACS 2019, Amsterdam, The Netherlands, October 23?25, 2019, Proceedings /$fedited by Farhad Arbab, Sung-Shik Jongmans
205   $a1st ed. 2020.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2020.
215   $a1 online resource (X, 261 p. 886 illus., 23 illus. in color.) 
225 1 $aProgramming and Software Engineering,$x2945-9168 ;$v12018
311   $a3-030-40913-9 
327   $aFormal Logic -- Formal Methods -- Programming Languages -- Semantics -- Software Engineering -- Specifications -- Theorem Proving.
330   $aThis book constitutes the thoroughly revised selected papers from the 16th International Conference on Formal Aspects of Component Software, FACS 2019, held in Amsterdam, The Netherlands, in October 2019. The 9 full papers presented together with 9 full papers and 3 short papers as well as 2 other papers were carefully reviewed and selected from 27 submissions. FACS 2019 is concerned with how formal methods can be used to make component-based and service-oriented software development succeed. Formal methods have provided a foundation for component-based software by successfully addressing challenging issues such as mathematical models for components, composition and adaptation, or rigorous approaches to verification, deployment, testing, and certification.
410  0$aProgramming and Software Engineering,$x2945-9168 ;$v12018
606   $aSoftware engineering
606   $aComputer science
606   $aMathematical logic
606   $aComputer networks
606   $aSoftware Engineering
606   $aTheory of Computation
606   $aMathematical Logic and Foundations
606   $aComputer Communication Networks
615  0$aSoftware engineering.
615  0$aComputer science.
615  0$aMathematical logic.
615  0$aComputer networks.
615 14$aSoftware Engineering.
615 24$aTheory of Computation.
615 24$aMathematical Logic and Foundations.
615 24$aComputer Communication Networks.
676   $a004.0151
676   $a004.0151
702   $aArbab$b Farhad$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aJongmans$b Sung-Shik$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910380748703321
996   $aFormal Aspects of Component Software$92968343
997   $aUNINA