LEADER 03726nam  22007215  450 
001 9910483877403321
005 20200630043406.0
010   $a3-319-69483-9
024 7 $a10.1007/978-3-319-69483-2
035   $a(CKB)4100000000881988
035   $a(DE-He213)978-3-319-69483-2
035   $a(MiAaPQ)EBC6283550
035   $a(MiAaPQ)EBC5578051
035   $a(Au-PeEL)EBL5578051
035   $a(OCoLC)1008591669
035   $a(PPN)220121583
035   $a(EXLCZ)994100000000881988
100   $a20171016d2017      u|         0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aDependable Software Engineering. Theories, Tools, and Applications $eThird International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings /$fedited by Kim Guldstrand Larsen, Oleg Sokolsky, Ji Wang
205   $a1st ed. 2017.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2017.
215   $a1 online resource (XVIII, 351 p. 74 illus.) 
225 1 $aProgramming and Software Engineering ;$v10606
311   $a3-319-69482-0 
327   $aProbabilistic and Statistical Analysis -- Timed and Hybrid Systems -- Program Analysis -- Modeling and Verification.- Formalization -- Tools.
330   $aThis book constitutes the proceedings of the Third International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2017, held in Changsha, China, in October 2017. The 19 full papers presented together with 3 invited talks  were carefully reviewed and selected from 31 submissions. The aim of the symposium is to bring together international researchers and practitioners in the field of software technology. Its focus is on probabilistic and statistical analysis; timed and hybrid systems; program analysis; modeling and verification; formalization; and tools.
410  0$aProgramming and Software Engineering ;$v10606
606   $aSoftware engineering
606   $aComputer logic
606   $aMathematical logic
606   $aComputer simulation
606   $aMathematical statistics
606   $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029
606   $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X
606   $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048
606   $aSimulation and Modeling$3https://scigraph.springernature.com/ontologies/product-market-codes/I19000
606   $aProbability and Statistics in Computer Science$3https://scigraph.springernature.com/ontologies/product-market-codes/I17036
615  0$aSoftware engineering.
615  0$aComputer logic.
615  0$aMathematical logic.
615  0$aComputer simulation.
615  0$aMathematical statistics.
615 14$aSoftware Engineering.
615 24$aLogics and Meanings of Programs.
615 24$aMathematical Logic and Formal Languages.
615 24$aSimulation and Modeling.
615 24$aProbability and Statistics in Computer Science.
676   $a005.1
702   $aLarsen$b Kim Guldstrand$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aSokolsky$b Oleg$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aWang$b Ji$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910483877403321
996   $aDependable Software Engineering. Theories, Tools, and Applications$92010758
997   $aUNINA