LEADER 03916nam  22007455  450 
001 996466208503316
005 20200630023054.0
010   $a3-642-33386-9
024 7 $a10.1007/978-3-642-33386-6
035   $a(CKB)3400000000086265
035   $a(SSID)ssj0000767456
035   $a(PQKBManifestationID)11419309
035   $a(PQKBTitleCode)TC0000767456
035   $a(PQKBWorkID)10740091
035   $a(PQKB)10085300
035   $a(DE-He213)978-3-642-33386-6
035   $a(MiAaPQ)EBC3070245
035   $a(PPN)168324326
035   $a(EXLCZ)993400000000086265
100   $a20120928d2012      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aAutomated Technology for Verification and Analysis$b[electronic resource] $e10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012, Proceedings /$fedited by Madhavan Mukund, Supratik Chakraborty
205   $a1st ed. 2012.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2012.
215   $a1 online resource (XIV, 438 p. 106 illus.) 
225 1 $aProgramming and Software Engineering ;$v7561
300   $aInternational conference proceedings.
311   $a3-642-33385-0 
320   $aIncludes bibliographical references and author index.
330   $aThis book constitutes the thoroughly refereed proceedings of the 10th International Symposium on Automated Technology for Verification and Analysis, ATVA 2012, held at Thiruvananthapuram, Kerala, India, in October 2012. The 25 regular papers, 3 invited papers and 4 tool papers presented were carefully selected from numerous submissions. Conference papers are organized in 9 technical sessions, covering the topics of automata theory, logics and proofs, model checking, software verification, synthesis, verification and parallelism, probabilistic verification, constraint solving and applications, and probabilistic systems.
410  0$aProgramming and Software Engineering ;$v7561
606   $aSoftware engineering
606   $aComputer programming
606   $aComputer communication systems
606   $aComputer logic
606   $aProgramming languages (Electronic computers)
606   $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029
606   $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010
606   $aComputer Communication Networks$3https://scigraph.springernature.com/ontologies/product-market-codes/I13022
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   $aSoftware Engineering/Programming and Operating Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I14002
615  0$aSoftware engineering.
615  0$aComputer programming.
615  0$aComputer communication systems.
615  0$aComputer logic.
615  0$aProgramming languages (Electronic computers).
615 14$aSoftware Engineering.
615 24$aProgramming Techniques.
615 24$aComputer Communication Networks.
615 24$aLogics and Meanings of Programs.
615 24$aProgramming Languages, Compilers, Interpreters.
615 24$aSoftware Engineering/Programming and Operating Systems.
676   $a006.3
702   $aMukund$b Madhavan$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aChakraborty$b Supratik$4edt$4http://id.loc.gov/vocabulary/relators/edt
712 12$aATVA 2012
906   $aBOOK
912   $a996466208503316
996   $aAutomated Technology for Verification and Analysis$9772478
997   $aUNISA