LEADER 00865cam0-22003131i-450- 001 990006647620403321 005 20001010 035 $a000664762 035 $aFED01000664762 035 $a(Aleph)000664762FED01 035 $a000664762 100 $a20001010d1964----km-y0itay50------ba 101 0 $afre 102 $aFR 105 $ay-------001yy 200 1 $a<>Arme nucléaire a la lumière du Droit International$fStefan Glaser 210 $aParis$cPedone$d1964 215 $a70 p.$d24 cm 676 $a341$v20$zita 700 1$aGlaser,$bStefan$0225073 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990006647620403321 952 $aIII D 36$b13227$fFSPBC 952 $aBUSTA 10[9] 11$b77439$fFGBC 959 $aFGBC 959 $aFSPBC 996 $aArme nucléaire a la lumière du Droit International$9613618 997 $aUNINA LEADER 01105nam--2200361---450- 001 990001645820203316 005 20040510151747.0 035 $a000164582 035 $aUSA01000164582 035 $a(ALEPH)000164582USA01 035 $a000164582 100 $a20040510d1984----km-y0itay0103----ba 101 $aita 102 $aIT 105 $aa|||||||001yy 200 1 $a<> romanzo della rosa$fdi Guillaume de Lorris$gprefazione e traduzione di Gina D'Angelo Matassa$gpostfazione di Enzo Giudici 210 $aPalermo$cNovecento$d1984 215 $a179 p.$cill.$d20 cm 225 2 $aNarciso di Novecento$v12 410 0$12001$aNarciso di Novecento$v12 454 1$12001$a<> roman de la rose$913696 461 1$1001-------$12001 676 $a841.1 700 0$aGUILLAUME : de Lorris$0309351 702 1$aD'ANGELO MATASSA,$bGina 801 0$aIT$bsalbc$gISBD 912 $a990001645820203316 951 $aV B coll 141/12$b10470 L.M.$cV B coll 959 $aBK 969 $aUMA 979 $aSIAVER$b90$c20040510$lUSA01$h1517 996 $aRoman de la rose$913696 997 $aUNISA 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