LEADER 04420nam  22007695  450 
001 9910299313703321
005 20200704140156.0
010   $a3-319-71734-0
024 7 $a10.1007/978-3-319-71734-0
035   $a(CKB)4100000001381896
035   $a(DE-He213)978-3-319-71734-0
035   $a(MiAaPQ)EBC6282953
035   $a(MiAaPQ)EBC5576553
035   $a(Au-PeEL)EBL5576553
035   $a(OCoLC)1066191714
035   $a(PPN)222228555
035   $a(EXLCZ)994100000001381896
100   $a20171229d2018      u|         0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aTools and Methods of Program Analysis $e4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers /$fedited by Vladimir Itsykson, Andre Scedrov, Victor Zakharov
205   $a1st ed. 2018.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2018.
215   $a1 online resource (XVIII, 209 p. 71 illus.) 
225 1 $aCommunications in Computer and Information Science,$x1865-0929 ;$v779
311   $a3-319-71733-2 
327   $aSoftware test automation -- Static program analysis -- Verification -- Dynamic methods of program analysis -- Testing and analysis of parallel and distributed systems -- Testing and analysis of high-load and high-availability systems -- Analysis and verification of hardware and software systems -- Methods of building quality software -- Tools for software analysis, testing and verification.
330   $aThis book constitutes the refereed proceedings of the 4th International Conference on Tools and Methods for Program Analysis, TMPA 2017, Moscow, Russia, March 3-4, 2017. The 12 revised full papers and 5 revised short papers presented together with three abstracts of keynote talks were carefully reviewed and selected from 51 submissions. The papers deal with topics such as software test automation, static program analysis, verification, dynamic methods of program analysis, testing and analysis of parallel and distributed systems, testing and analysis of high-load and high-availability systems, analysis and verification of hardware and software systems, methods of building quality software, tools for software analysis, testing and verification.    .
410  0$aCommunications in Computer and Information Science,$x1865-0929 ;$v779
606   $aSoftware engineering
606   $aComputer system failures
606   $aComputer simulation
606   $aOperating systems (Computers)
606   $aArtificial intelligence
606   $aProgramming languages (Electronic computers)
606   $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029
606   $aSystem Performance and Evaluation$3https://scigraph.springernature.com/ontologies/product-market-codes/I13049
606   $aSimulation and Modeling$3https://scigraph.springernature.com/ontologies/product-market-codes/I19000
606   $aOperating Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I14045
606   $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000
606   $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037
615  0$aSoftware engineering.
615  0$aComputer system failures.
615  0$aComputer simulation.
615  0$aOperating systems (Computers).
615  0$aArtificial intelligence.
615  0$aProgramming languages (Electronic computers).
615 14$aSoftware Engineering.
615 24$aSystem Performance and Evaluation.
615 24$aSimulation and Modeling.
615 24$aOperating Systems.
615 24$aArtificial Intelligence.
615 24$aProgramming Languages, Compilers, Interpreters.
676   $a005.14
702   $aItsykson$b Vladimir$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aScedrov$b Andre$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aZakharov$b Victor$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910299313703321
996   $aTools and methods of program analysis$91892950
997   $aUNINA