LEADER 03848nam  22007455  450 
001 996465884503316
005 20200630194623.0
010   $a3-642-24372-X
024 7 $a10.1007/978-3-642-24372-1
035   $a(CKB)2550000000054532
035   $a(SSID)ssj0000609204
035   $a(PQKBManifestationID)11379176
035   $a(PQKBTitleCode)TC0000609204
035   $a(PQKBWorkID)10619226
035   $a(PQKB)11292406
035   $a(DE-He213)978-3-642-24372-1
035   $a(MiAaPQ)EBC3067329
035   $a(PPN)156317834
035   $a(EXLCZ)992550000000054532
100   $a20110929d2011      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] $e9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011, Proceedings /$fedited by Tevfik Bultan, Pao-Ann Hsiung
205   $a1st ed. 2011.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2011.
215   $a1 online resource (XIV, 532 p.) 
225 1 $aProgramming and Software Engineering ;$v6996
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-642-24371-1 
320   $aIncludes bibliographical references and index.
330   $aThis book constitutes the refereed proceedings of the 9th International Symposium on Automated Technology for Verification and Analysis, ATVA 2011, held in Taipei, Taiwan, in October 2011. The 23 revised regular papers presented together with 5 invited papers, 11 short papers, and 2 tool papers, were carefully reviewed and selected from 75 submissions. The papers address all theoretical and practical aspects of automated analysis, verification and synthesis; thus providing a forum for interaction between the regional and the international research communities and industry in the field.
410  0$aProgramming and Software Engineering ;$v6996
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   $a005.1
702   $aBultan$b Tevfik$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aHsiung$b Pao-Ann$4edt$4http://id.loc.gov/vocabulary/relators/edt
712 12$aATVA 2011
906   $aBOOK
912   $a996465884503316
996   $aAutomated Technology for Verification and Analysis$9772478
997   $aUNISA