LEADER 04146nam  22007935  450 
001 996199997503316
005 20200703113008.0
010   $a3-319-07602-7
024 7 $a10.1007/978-3-319-07602-7
035   $a(CKB)3710000000143848
035   $a(SSID)ssj0001275724
035   $a(PQKBManifestationID)11721284
035   $a(PQKBTitleCode)TC0001275724
035   $a(PQKBWorkID)11234210
035   $a(PQKB)10095603
035   $a(DE-He213)978-3-319-07602-7
035   $a(MiAaPQ)EBC3093520
035   $a(PPN)179766171
035   $a(EXLCZ)993710000000143848
100   $a20140612d2014      u|             0
101 0 $aeng
135   $aurnn#008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aFormal Aspects of Component Software$b[electronic resource] $e10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers /$fedited by José Luiz Fiadeiro, Zhiming Liu, Jinyun Xue
205   $a1st ed. 2014.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2014.
215   $a1 online resource (X, 385 p. 132 illus.)
225 1 $aProgramming and Software Engineering ;$v8348
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-319-07601-9 
327   $aProbabilistic modal specifications -- Orchestration -- Super-dense computation in verification of Hybrid CSP Processes -- A proof-carrying code approach to certificate auction mechanisms -- Towards verification of ensemble based component systems.
330   $aThis book constitutes the revised selected papers of the 10th International Symposium on Formal Aspects of Component Software, FACS 2013, held in Nanchang, China, in October 2013. The 19 full papers and three invited talks presented were carefully reviewed and selected from 51 submissions. The papers are concerned with how formal methods can be used to make component-based development fit for the new architectures of today and the systems that are now pervading the socio-economic worlds.
410  0$aProgramming and Software Engineering ;$v8348
606   $aSoftware engineering
606   $aMathematical logic
606   $aComputer logic
606   $aProgramming languages (Electronic computers)
606   $aComputer programming
606   $aManagement information systems
606   $aComputer science
606   $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029
606   $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048
606   $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X
606   $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037
606   $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010
606   $aManagement of Computing and Information Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I24067
615  0$aSoftware engineering.
615  0$aMathematical logic.
615  0$aComputer logic.
615  0$aProgramming languages (Electronic computers).
615  0$aComputer programming.
615  0$aManagement information systems.
615  0$aComputer science.
615 14$aSoftware Engineering.
615 24$aMathematical Logic and Formal Languages.
615 24$aLogics and Meanings of Programs.
615 24$aProgramming Languages, Compilers, Interpreters.
615 24$aProgramming Techniques.
615 24$aManagement of Computing and Information Systems.
676   $a005.1
702   $aFiadeiro$b José Luiz$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aLiu$b Zhiming$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aXue$b Jinyun$4edt$4http://id.loc.gov/vocabulary/relators/edt
906   $aBOOK
912   $a996199997503316
996   $aFormal Aspects of Component Software$92005329
997   $aUNISA