LEADER 03949nam  22007815  450 
001 996465414703316
005 20200705102504.0
010   $a3-642-29860-5
024 7 $a10.1007/978-3-642-29860-8
035   $a(CKB)3400000000085193
035   $a(SSID)ssj0000666553
035   $a(PQKBManifestationID)11400902
035   $a(PQKBTitleCode)TC0000666553
035   $a(PQKBWorkID)10664479
035   $a(PQKB)10493691
035   $a(DE-He213)978-3-642-29860-8
035   $a(MiAaPQ)EBC3070579
035   $a(PPN)168315483
035   $a(EXLCZ)993400000000085193
100   $a20120511d2012      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aRuntime Verification$b[electronic resource] $eSecond international Conference, RV 2011, San Francisco, USA, September 27-30, 2011, Revised Selected Papers /$fedited by Koushik Sen, Sarfaz Khurshid
205   $a1st ed. 2012.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2012.
215   $a1 online resource (XII, 458 p. 69 illus.) 
225 1 $aProgramming and Software Engineering ;$v7186
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-642-29859-1 
320   $aIncludes bibliographical references and index.
330   $aThis book constitutes the thoroughly refereed post-conference proceedings of the Second International Conference on Runtime Verification, RV 2011, held in San Francisco, USA, in September 2011. The 24 revised full papers presented together with 3 invited papers, 4 tutorials and 4 tool demonstrations were carefully reviewed and selected from 71 submissions. The papers are organized in topical sections on parallelism and deadlocks, malware detection, temporal constraints and concurrency bugs, sampling and specification conformance, real-time, software and hardware systems, memory transactions, tools; foundational techniques and multi-valued approaches.
410  0$aProgramming and Software Engineering ;$v7186
606   $aSoftware engineering
606   $aAlgorithms
606   $aComputer logic
606   $aComputer programming
606   $aProgramming languages (Electronic computers)
606   $aMathematical logic
606   $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029
606   $aAlgorithm Analysis and Problem Complexity$3https://scigraph.springernature.com/ontologies/product-market-codes/I16021
606   $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X
606   $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010
606   $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037
606   $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048
608   $aConference proceedings.
615  0$aSoftware engineering.
615  0$aAlgorithms.
615  0$aComputer logic.
615  0$aComputer programming.
615  0$aProgramming languages (Electronic computers).
615  0$aMathematical logic.
615 14$aSoftware Engineering.
615 24$aAlgorithm Analysis and Problem Complexity.
615 24$aLogics and Meanings of Programs.
615 24$aProgramming Techniques.
615 24$aProgramming Languages, Compilers, Interpreters.
615 24$aMathematical Logic and Formal Languages.
676   $a005.1
702   $aSen$b Koushik$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aKhurshid$b Sarfaz$4edt$4http://id.loc.gov/vocabulary/relators/edt
712 12$aRV (Conference)
906   $aBOOK
912   $a996465414703316
996   $aRuntime Verification$9772115
997   $aUNISA