LEADER 01224nam0-2200397li-450 001 990000248010203316 005 20180312154750.0 010 $a88-7750-515-X 035 $a0024801 035 $aUSA010024801 035 $a(ALEPH)000024801USA01 035 $a0024801 100 $a2001999031998-------y0itay0103----ba 101 0 $aita 102 $aIT 200 1 $aCromatografia ionica$eteoria e applicazioni$fCorrado Sarzanini, Silvano Cavalli; prefazione di Edoardo Mentasti 210 $aTorino$cUTET$dcopyr. 1998 215 $aXV, 491 p.$cill.$d24 cm 610 1 $achimica analitica 610 1 $acromatografia 676 $a543$9Chimica analitica 700 1$aSarzanini,$bCorrado$0291315 702 1$aCavalli,$bSilvano 702 1$aMentasti,$bEdoardo 801 $aSistema bibliotecario di Ateneo dell' Università di Salerno$gRICA 912 $a990000248010203316 951 $a543 SAR$b23190/CBS$c543$d00222375 959 $aBK 969 $aSCI 979 $c19990306 979 $c20001110$lUSA01$h1715 979 $c20020403$lUSA01$h1633 979 $aPATRY$b90$c20040406$lUSA01$h1618 979 $aRSIAV6$b90$c20090703$lUSA01$h1308 996 $aCromatografia ionica$91502360 997 $aUNISA LEADER 03477nam 2200649 a 450 001 9910484805403321 005 20250402154538.0 010 $a9786613567512 010 $a9781280389597 010 $a1280389591 010 $a9783642161643 010 $a3642161642 024 7 $a10.1007/978-3-642-16164-3 035 $a(CKB)2670000000045146 035 $a(SSID)ssj0000446632 035 $a(PQKBManifestationID)11249946 035 $a(PQKBTitleCode)TC0000446632 035 $a(PQKBWorkID)10511801 035 $a(PQKB)11624140 035 $a(DE-He213)978-3-642-16164-3 035 $a(MiAaPQ)EBC3065903 035 $a(PPN)149025300 035 $a(EXLCZ)992670000000045146 100 $a20100818d2010 uy 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aModel checking software $e17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010, proceedings /$fJaco van de Pol, Michael Weber, (eds.) 205 $a1st ed. 2010. 210 $aBerlin ;$aHeidelberg $cSpringer$d2010 215 $a1 online resource (X, 263 p. 70 illus.) 225 1 $aLNCS sublibrary. SL 1, Theoretical computer science and general issues 225 1 $aLecture notes in computer science,$x0302-9743 ;$vv. 6349 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a9783642161636 311 08$a3642161634 320 $aIncludes bibliographical references and index. 327 $aSatisfiability Modulo Theories for Model Checking -- SMT-Based Software Model Checking -- Symbolic Object Code Analysis -- Model Checking in Context -- Experimental Comparison of Concolic and Random Testing for Java Card Applets -- Combining SPIN with ns-2 for Protocol Optimization -- Automatic Generation of Model Checking Scripts Based on Environment Modeling -- Implementation and Performance of Model Checking -- Model Checking: Cleared for Take Off -- Context-Enhanced Directed Model Checking -- Efficient Explicit-State Model Checking on General Purpose Graphics Processors -- The SpinJa Model Checker -- LTL and Büchi Automata -- On the Virtue of Patience: Minimizing Büchi Automata -- Enacting Declarative Languages Using LTL: Avoiding Errors and Improving Performance -- Nevertrace Claims for Model Checking -- Infinite State Models -- A False History of True Concurrency: From Petri to Tools -- Analysing Mu-Calculus Properties of Pushdown Systems -- Time-Bounded Reachability in Distributed Input/Output Interactive Probabilistic Chains -- An Automata-Based Symbolic Approach for Verifying Programs on Relaxed Memory Models -- Concurrent Software -- Context-Bounded Translations for Concurrent Software: An Empirical Evaluation -- One Stack to Run Them All. 410 0$aLecture notes in computer science ;$v6349. 410 0$aLNCS sublibrary.$nSL 1,$pTheoretical computer science and general issues. 606 $aComputer software$xVerifications$vCongresses 606 $aSpin (Computer program language) 615 0$aComputer software$xVerifications 615 0$aSpin (Computer program language) 676 $a005.1 701 $aPol$b Jaco van de$01755261 701 $aWeber$b Michael$g(Michael F.)$0190946 712 12$aInternational SPIN Workshop 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910484805403321 996 $aModel checking software$94199384 997 $aUNINA