LEADER 02936nam0 22003853i 450 001 SUN0104502 005 20160119120825.546 010 $a978-88-906742-8-0$d0.00 100 $a20160112d2015 |0itac50 ba 101 $aita 102 $aIT 105 $a||||Z 1|||| 200 1 $a*Insediamenti e cultura materiale fra tarda antichità e medioevo$eatti del Convegno di studi Insediamenti tardoantichi e medievali lungo l'Appia e la Traiana. Nuovi dati sulle produzioni ceramiche. Santa Maria Capua Vetere, 23-24 marzo 2011$eAtti del 1. Seminario. Esperienze di archeologia postclassica in Campania. Santa Maria Capua Vetere, 18 maggio 2011$fa cura di Nicola Busino e Marcello Rotili 205 $aNapoli : Tavolario, 2015 210 $a387 p.$cill. ; 24 cm 215 $aSul frontespizio: Comune di Castel Campagnano Seconda Università di Napoli Dipartimento di Lettere e Beni Culturali. 410 1$1001SUN0074339$12001 $aGiornate sulla tarda antichità e il medioevo$fa cura di Carlo Ebanista e Marcello Rotili$v5$1210 $aCimitile$cTavolario. 620 $dNapoli$3SUNL000005 702 1$aRotili$b, Marcello$3SUNV018011$4340 702 1$aBusino$b, Nicola$3SUNV068516$4340 712 $aTavolario$3SUNV007884$4650 801 $aIT$bSOL$c20181109$gRICA 912 $aSUN0104502 950 $aUFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI LETTERE E BENI CULTURALI$d07 CONS Ae 309 ter $e07 DP 4509 950 $aUFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI LETTERE E BENI CULTURALI$d07 CONS Ae 309 quinques $e07 DP 4507 950 $aUFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI LETTERE E BENI CULTURALI$d07 CONS Ae 309 $e07 DP 4511 950 $aUFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI LETTERE E BENI CULTURALI$d07 CONS Ae 309 bis $e07 DP 4510 950 $aUFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI LETTERE E BENI CULTURALI$d07 CONS Ae 309 quater $e07 DP 4508 995 $aUFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI LETTERE E BENI CULTURALI$bIT-CE0103$gDP$h4509$kCONS Ae 309 ter$oc$qa 995 $aUFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI LETTERE E BENI CULTURALI$bIT-CE0103$gDP$h4507$kCONS Ae 309 quinques$oc$qa 995 $aUFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI LETTERE E BENI CULTURALI$bIT-CE0103$gDP$h4511$kCONS Ae 309$oc$qa 995 $aUFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI LETTERE E BENI CULTURALI$bIT-CE0103$gDP$h4510$kCONS Ae 309 bis$oc$qa 995 $aUFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI LETTERE E BENI CULTURALI$bIT-CE0103$gDP$h4508$kCONS Ae 309 quater$oc$qa 996 $aInsediamenti e cultura materiale fra tarda antichità e medioevo$91410038 997 $aUNICAMPANIA LEADER 06178nam 22007215 450 001 9910768192403321 005 20250724054726.0 010 $a3-540-47813-2 024 7 $a10.1007/3-540-47813-2 035 $a(CKB)1000000000211274 035 $a(SSID)ssj0000320626 035 $a(PQKBManifestationID)11254863 035 $a(PQKBTitleCode)TC0000320626 035 $a(PQKBWorkID)10249642 035 $a(PQKB)10995631 035 $a(DE-He213)978-3-540-47813-3 035 $a(MiAaPQ)EBC3062468 035 $a(MiAaPQ)EBC6408079 035 $a(PPN)15518380X 035 $a(BIP)7609412 035 $a(EXLCZ)991000000000211274 100 $a20121227d2002 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aVerification, Model Checking, and Abstract Interpretation $eThird International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002, Revised Papers /$fedited by Agostino Cortesi 205 $a1st ed. 2002. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2002. 215 $a1 online resource (VIII, 331 p.) 225 1 $aLecture Notes in Computer Science,$x1611-3349 ;$v2294 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a3-540-43631-6 320 $aIncludes bibliographical references and index. 327 $aSecurity and Protocols -- Combining Abstract Interpretation and Model Checking for Analysing Security Properties of Java Bytecode -- Proofs Methods for Bisimulation Based Information Flow Security -- A Formal Correspondence between Offensive and Defensive JavaCard Virtual Machines -- Analyzing Cryptographic Protocols in a Reactive Framework -- Timed Systems and Games -- An Abstract Schema for Equivalence-Checking Games -- Synchronous Closing of Timed SDL Systems for Model Checking -- Automata-Theoretic Decision of Timed Games -- Static Analysis -- Compositional Termination Analysis of Symbolic Forward Analysis -- Combining Norms to Prove Termination -- Static Monotonicity Analysis for ?-definable Functions over Lattices -- A Refinement of the Escape Property -- Optimizations -- Storage Size Reduction by In-place Mapping of Arrays -- Verifying BDD Algorithms through Monadic Interpretation -- Improving the Encoding of LTL Model Checking into SAT -- Types and Verification -- Automatic Verification of Probabilistic Free Choice -- An Experiment in Type Inference and Verification by Abstract Interpretation -- Weak Muller Acceptance Conditions for Tree Automata -- A Fully Abstract Model for Higher-Order Mobile Ambients -- Temporal Logics and Systems -- A Simulation Preorder for Abstraction of Reactive Systems -- Approximating ATL* in ATL -- Model Checking Modal Transition Systems Using Kripke Structures -- Parameterized Verification of a Cache Coherence Protocol: Safety and Liveness. 330 $aThis volume contains the revised version of papers presented at VMCAI 2002, theThirdInternationalWorkshoponVeri'cation,ModelChecking,andAbstract Interpretation, Venice (Italy), January 21-22, 2002. Themaingoaloftheworkshopwastogiveanoverviewofthemaindirections decisive for the growth and cross-fertilization of major research activities in programanalysis and veri'cation. TheVMCAIserieswasstartedin1997withtheaimofgatheringresearchers interestedininvestigatingsimilaritiesanddi'erencesamongthesethreeresearch methodologies, that may be summarized as follows: - programveri'cationaimsatprovingthatprogramsmeettheirspeci'cations, i.e., that the actual programbehavior correspondsto the desired one. - model checking is a speci'c approach to the veri'cation of temporal pr- erties of reactive and concurrentsystems, which has been very successful in the area of ?nite-state programs. - abstract interpretation is a method for designing and comparing semantics ofprogram,expressingvarioustypes ofprogramproperties;in particular,it has been successfully usedto infer run-time programproperties that canbe valuable in optimizing programs. Theprogramcommitteeselected22papersoutof41submissionsonthebasis of at least 3 reviews. The principal selection criteria were relevance, quality, and clarity. The resulting volume o'ers the reader an interesting perspective of the current research trends in the area. In particular, the papers contribute to the following topics: Security and Protocols, Timed Systems and Games, Static Analysis, Optimizations, Types and Veri'cation, and Temporal Logics and Systems. The quality of the papers, the interesting discussions at the workshop, and the friendly atmosphere enjoyed by all participants in Venice, encouraged us in the projectofmakingVMCAI anannualprivilegedforumfor researchersin the area. Specialthanksareduetotheinstitutionsthatsponsoredtheevent:theC- puter Science Department of the University Ca' Foscari, the European Asso- ation for Programming Languages and Systems (EAPLS), the MIUR Project "InterpretazioneAstratta,TypeSystemseAnalisiControl-Flow"andtheMIUR Project"MetodiFormaliperlaSicurezza-MEFISTO".Weareespeciallygra- ful to C. Braghin for her helpful support in organizingthe workshop. 410 0$aLecture Notes in Computer Science,$x1611-3349 ;$v2294 606 $aComputer science 606 $aSoftware engineering 606 $aCompilers (Computer programs) 606 $aTheory of Computation 606 $aSoftware Engineering 606 $aComputer Science 606 $aComputer Science Logic and Foundations of Programming 606 $aCompilers and Interpreters 615 0$aComputer science. 615 0$aSoftware engineering. 615 0$aCompilers (Computer programs) 615 14$aTheory of Computation. 615 24$aSoftware Engineering. 615 24$aComputer Science. 615 24$aComputer Science Logic and Foundations of Programming. 615 24$aCompilers and Interpreters. 676 $a005.1/4 702 $aCortesi$b Agostino$f1963- 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910768192403321 996 $aVerification, Model Checking, and Abstract Interpretation$92593983 997 $aUNINA