LEADER 01138nam--2200385---450- 001 990000708640203316 005 20051115085958.0 035 $a0070864 035 $aUSA010070864 035 $a(ALEPH)000070864USA01 035 $a0070864 100 $a20011029d1995----km-y0itay0103----ba 101 $aita 102 $aIT 105 $a||||||||001yy 200 1 $aGiovanni Olivieri d'Altavilla$erepubblicano e carbonaro$fPaolo Tesauro Olivieri 210 $aSalerno$cPalladio$d1995 215 $a46 p$d22 cm 300 $aSegue: Appendice 410 $12001 676 $a945.745 700 1$aTESAURO OLIVIERI,$bPaolo$0231667 801 0$aIT$bsalbc$gISBD 912 $a990000708640203316 951 $aXV.1.A. 289(V G 223)$b122437 L.M.$cV G 959 $aBK 969 $aLOCALE 979 $aPATTY$b90$c20011029$lUSA01$h1306 979 $aPATTY$b90$c20011031$lUSA01$h1400 979 $aPATTY$b90$c20011116$lUSA01$h0914 979 $c20020403$lUSA01$h1719 979 $aPATRY$b90$c20040406$lUSA01$h1649 979 $aCOPAT1$b90$c20051115$lUSA01$h0859 996 $aGiovanni Olivieri d'Altavilla$9961293 997 $aUNISA LEADER 03686nam 22007575 450 001 996466320003316 005 20230223001243.0 010 $a3-319-63387-2 024 7 $a10.1007/978-3-319-63387-9 035 $a(CKB)4340000000061642 035 $a(DE-He213)978-3-319-63387-9 035 $a(MiAaPQ)EBC5577110 035 $a(PPN)203668863 035 $a(EXLCZ)994340000000061642 100 $a20170712d2017 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aComputer Aided Verification$b[electronic resource] $e29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I /$fedited by Rupak Majumdar, Viktor Kun?ak 205 $a1st ed. 2017. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2017. 215 $a1 online resource (XIX, 601 p. 142 illus.) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v10426 311 $a3-319-63386-4 320 $aIncludes bibliographical references and index. 327 $aData Driven Techniques -- Runtime Verication -- Cyber-Physical Systems -- Concurrency -- Analysis of Software and Hardware -- Foundations of Verification -- Distributed and Networked Systems -- Synthesis -- Decision Procedures and their Applications -- Software Analysis. 330 $aThe two-volume set LNCS 10426 and LNCS 10427 constitutes the refereed proceedings of the 29th International Conference on Computer Aided Verification, CAV 2017, held in Heidelberg, Germany, in July 2017. The total of 50 full and 7 short papers presented together with 5 keynotes and tutorials in the proceedings was carefully reviewed and selected from 191 submissions. The CAV conference series is dedicated to the advancement of the theory and practice of computer-aided formal analysis of hardware and software systems. The conference covers the spectrum from theoretical results to concrete applications, with an emphasis on practical verification tools and the algorithms and techniques that are needed for their implementation. 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v10426 606 $aComputer science 606 $aSoftware engineering 606 $aComputer simulation 606 $aComputers 606 $aProfessions 606 $aElectronic digital computers?Evaluation 606 $aArtificial intelligence 606 $aComputer Science Logic and Foundations of Programming 606 $aSoftware Engineering 606 $aComputer Modelling 606 $aThe Computing Profession 606 $aSystem Performance and Evaluation 606 $aArtificial Intelligence 615 0$aComputer science. 615 0$aSoftware engineering. 615 0$aComputer simulation. 615 0$aComputers. 615 0$aProfessions. 615 0$aElectronic digital computers?Evaluation. 615 0$aArtificial intelligence. 615 14$aComputer Science Logic and Foundations of Programming. 615 24$aSoftware Engineering. 615 24$aComputer Modelling. 615 24$aThe Computing Profession. 615 24$aSystem Performance and Evaluation. 615 24$aArtificial Intelligence. 676 $a004.24 702 $aMajumdar$b Rupak$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aKun?ak$b Viktor$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996466320003316 996 $aComputer Aided Verification$9772228 997 $aUNISA LEADER 00959nam0 22002891i 450 001 990004928610403321 005 20230519105644.0 035 $a000492861 035 $aFED01000492861 035 $a(Aleph)000492861FED01 100 $a19990604g19689999km-y0itay50------ba 101 0 $aspa 102 $aFR 105 $ay-------001yy 200 1 $aDe las cortes de Cādiz al plan de Desarrollo, 1808-1966$eEnsayo de interpretaciķn politica de la Espaņa contemporānea$fIgnacio Fernández de Castro 210 $aParis$cRuedo Ibčrico$dc1968 215 $a395 p.$d25 cm 300 $aAltro esemplare con collocazione PA 67 bis 700 1$aFernandez De Castro,$bIgnacio$0197628 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990004928610403321 952 $aPA 67 bis$fFLFBC 952 $aPA 67$bFil. Mod. 16960$fFLFBC 959 $aFLFBC 996 $aDe las cortes de Cādiz al plan de Desarrollo, 1808-1966$91545746 997 $aUNINA