LEADER 01761nam0 2200313 i 450 001 RAV0010126 005 20231121125623.0 100 $a20170824d1972 ||||0itac50 ba 101 | $aita$afre$ager 102 $ait 181 1$6z01$ai $bxxxe 182 1$6z01$an 200 1 $a˜I œproblemi della ceramica romana di Ravenna, della valle padana e dell'alto Adriatico$eatti del convegno internazionale$eRavenna, 10-12 maggio 1969$fpromosso dall'Istituto di Antichitą Ravennati e Bizantine e dall'Istituto di Archeologia dell'universitą di Bologna in collaborazione con l'Azienda Autonoma di soggiorno e turismo di Ravenna 210 $aBologna$cForni$d1972 215 $a288 p.$cill.$d24 cm. 606 $aCongressi$xRavenna$x1969$2FIR$3RMLC420455$9I 606 $aCeramica romana$xCongressi$2FIR$3RMLC420456$9I 676 $a738.30937$9Terraglia e Gres. Italia antica.$v21 712 01$aUniversitą degli studi$c $b : Istituto di antichitą ravennati e bizantine$3CFIV026303 712 01$aUniversitą degli studi$c $b : Istituto di archeologia$3RAVV006996 791 02$aUniversitą degli studi$c $b : Facoltą di lettere e filosofia$b : Istituto di antichitą ravennati e bizantine$3CFIV026312$zUniversitą degli studi : Istituto di antichitą ravennati e bizantine 801 3$aIT$bIT-01$c20170824 850 $aIT-FR0017 899 $aBiblioteca umanistica Giorgio Aprea$bFR0017 $eN 912 $aRAV0010126 950 0$aBiblioteca umanistica Giorgio Aprea$d 52MAG 12/711$e 52FLS0000335925 VMN RS $fA $h20170824$i20170824 977 $a 52 996 $aProblemi della ceramica romana di Ravenna, della Valle Padana e dell'alto Adriatico$9612203 997 $aUNICAS LEADER 04870nam 22008175 450 001 9910484765603321 005 20251226200340.0 010 $a3-540-76650-2 024 7 $a10.1007/978-3-540-76650-6 035 $a(CKB)1000000000490578 035 $a(SSID)ssj0000317702 035 $a(PQKBManifestationID)11258694 035 $a(PQKBTitleCode)TC0000317702 035 $a(PQKBWorkID)10294841 035 $a(PQKB)10821892 035 $a(DE-He213)978-3-540-76650-6 035 $a(MiAaPQ)EBC3065436 035 $a(MiAaPQ)EBC6512619 035 $a(Au-PeEL)EBL6512619 035 $a(OCoLC)191471094 035 $a(PPN)123728940 035 $a(MiAaPQ)EBC337063 035 $a(BIP)32373979 035 $a(BIP)17712365 035 $a(EXLCZ)991000000000490578 100 $a20100301d2007 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aFormal Methods and Software Engineering $e9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, Florida, USA, November 14-15, 2007, Proceedings /$fedited by Michael Butler, Michael G. Hinchey, Maria M. Larrondo-Petrie 205 $a1st ed. 2007. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2007. 215 $a1 online resource (VIII, 387 p.) 225 1 $aProgramming and Software Engineering,$x2945-9168 ;$v4789 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a3-540-76648-0 320 $aIncludes bibliographical references and index. 327 $aInvited Talks -- A System Development Process with Event-B and the Rodin Platform -- Challenges in Software Certification -- Security and Knowledge -- Integrating Formal Methods with System Management -- Formal Engineering of XACML Access Control Policies in VDM++ -- A Verification Framework for Agent Knowledge -- Embedded Systems -- From Model-Based Design to Formal Verification of Adaptive Embedded Systems -- Machine-Assisted Proof Support for Validation Beyond Simulink -- VeSTA: A Tool to Verify the Correct Integration of a Component in a Composite Timed System -- Testing -- Integrating Specification-Based Review and Testing for Detecting Errors in Programs -- Testing for Refinement in CSP -- Reducing Test Sequence Length Using Invertible Sequences -- Automated Analysis -- Model Checking with SAT-Based Characterization of ACTL Formulas -- Automating Refinement Checking in Probabilistic System Design -- Model Checking in Practice: Analysis of Generic Bootloader Using SPIN -- Model Checking Propositional Projection Temporal Logic Based on SPIN -- Hardware -- A Denotational Semantics for Handel-C Hardware Compilation -- Automatic Generation of Verified Concurrent Hardware -- Modeling and Verification of Master/Slave Clock Synchronization Using Hybrid Automata and Model-Checking -- Concurrency -- Efficient Symbolic Execution of Large Quantifications in a Process Algebra -- Formalizing SANE Virtual Processor in Thread Algebra -- Calculating and Composing Progress Properties in Terms of the Leads-to Relation -- Erratum -- Erratum to: Challenges in Software Certification. 330 $aThis book constitutes the refereed proceedings of the 9th International Conference on Formal Engineering Methods, ICFEM 2007, held in Boca Raton, Florida, USA, November 14-15, 2007. The 19 revised full papers together with two invited talks presented were carefully reviewed and selected from 38 submissions. The papers address all current issues in formal methods and their applications in software engineering. The papers are organized in topical sections. 410 0$aProgramming and Software Engineering,$x2945-9168 ;$v4789 606 $aSoftware engineering 606 $aComputer programming 606 $aComputer science 606 $aCompilers (Computer programs) 606 $aSoftware Engineering 606 $aProgramming Techniques 606 $aModels of Computation 606 $aComputer Science Logic and Foundations of Programming 606 $aCompilers and Interpreters 615 0$aSoftware engineering. 615 0$aComputer programming. 615 0$aComputer science. 615 0$aCompilers (Computer programs). 615 14$aSoftware Engineering. 615 24$aProgramming Techniques. 615 24$aModels of Computation. 615 24$aComputer Science Logic and Foundations of Programming. 615 24$aCompilers and Interpreters. 676 $a004.0151 702 $aHinchey$b Michael G$g(Michael Gerard),$f1969- 702 $aLarrondo-Petrie$b Mari?a M. 702 $aButler$b Michael$f1967- 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910484765603321 996 $aFormal Methods and Software Engineering$9771999 997 $aUNINA