LEADER 03181nam  22007215  450 
001 9910482983303321
005 20230329141031.0
010   $a3-319-66197-3
024 7 $a10.1007/978-3-319-66197-1
035   $a(CKB)3710000001631272
035   $a(DE-He213)978-3-319-66197-1
035   $a(MiAaPQ)EBC5591835
035   $a(PPN)203850297
035   $a(EXLCZ)993710000001631272
100   $a20170812d2017      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aSoftware Engineering and Formal Methods$b[electronic resource] $e15th International Conference, SEFM 2017, Trento, Italy, September 4?8, 2017, Proceedings /$fedited by Alessandro Cimatti, Marjan Sirjani
205   $a1st ed. 2017.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2017.
215   $a1 online resource (XIX, 410 p. 94 illus.) 
225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v10469
311   $a3-319-66196-5 
320   $aIncludes bibliographical references and index.
330   $aThis book constitutes the refereed proceedings of the 15th International Conference on Software Engineering and Formal Methods, SEFM 2017, held in Trento, Italy, in September 2017. The 17 full papers and 6 short papers presented were carefully reviewed and selected from 102 submissions. The papers deal with a large range of topics in the following research areas: new frontiers in software architecture; software verification and testing; software development methods; application and technology transfer; security and safety; an d design principles. .
410  0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v10469
606   $aSoftware engineering
606   $aCompilers (Computer programs)
606   $aComputer programming
606   $aComputer science
606   $aElectronic digital computers?Evaluation
606   $aArtificial intelligence
606   $aSoftware Engineering
606   $aCompilers and Interpreters
606   $aProgramming Techniques
606   $aTheory of Computation
606   $aSystem Performance and Evaluation
606   $aArtificial Intelligence
615  0$aSoftware engineering.
615  0$aCompilers (Computer programs).
615  0$aComputer programming.
615  0$aComputer science.
615  0$aElectronic digital computers?Evaluation.
615  0$aArtificial intelligence.
615 14$aSoftware Engineering.
615 24$aCompilers and Interpreters.
615 24$aProgramming Techniques.
615 24$aTheory of Computation.
615 24$aSystem Performance and Evaluation.
615 24$aArtificial Intelligence.
676   $a005.1
702   $aCimatti$b Alessandro$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aSirjani$b Marjan$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910482983303321
996   $aSoftware Engineering and Formal Methods$92915885
997   $aUNINA