LEADER 02417oam 2200481 450 001 996418209203316 005 20210426232441.0 010 $a3-030-63461-2 024 7 $a10.1007/978-3-030-63461-2 035 $a(CKB)4100000011569078 035 $a(DE-He213)978-3-030-63461-2 035 $a(MiAaPQ)EBC6396112 035 $a(PPN)252506936 035 $a(EXLCZ)994100000011569078 100 $a20210426d2020 uy 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 00$aIntegrated Formal Methods $e16th International Conference, IFM 2020, Lugano, Switzerland, November 16-20, 2020, proceedings /$fBrijesh Dongol, Elena Troubitsyna, editors 205 $a1st ed. 2020. 210 1$aCham, Switzerland :$cSpringer,$d[2020] 210 4$d©2020 215 $a1 online resource (XI, 461 p. 1045 illus., 64 illus. in color.) 225 1 $aLecture notes in computer science ;$v12546 311 $a3-030-63460-4 320 $aIncludes bibliographical references and index. 327 $aIntegrating Machine Learning and Formal Modelling -- Modelling and Verification in B and Event-B -- Program Analysis and Testing -- Verification of Interactive Behaviour -- Formal Verification -- Static Analysis -- Domain-Specific Approaches -- Algebraic Techniques. 330 $aThis book constitutes the refereed proceedings of the 16th International Conference on Integrated Formal Methods, IFM 2019, held in Lugano, Switzerland, in November 2020. The 24 full papers and 2 short papers were carefully reviewed and selected from 63 submissions. The papers cover a broad spectrum of topics: Integrating Machine Learning and Formal Modelling; Modelling and Verification in B and Event-B; Program Analysis and Testing; Verification of Interactive Behaviour; Formal Verification; Static Analysis; Domain-Specific Approaches; and Algebraic Techniques. 410 0$aLecture notes in computer science ;$v12546. 606 $aFormal methods (Computer science)$vCongresses 615 0$aFormal methods (Computer science) 676 $a004.0151 702 $aDongol$b Brijesh 702 $aTroubitsyna$b Elena$g(Elena A.),$f1970- 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bUtOrBLW 906 $aBOOK 912 $a996418209203316 996 $aIntegrated Formal Methods$9772444 997 $aUNISA LEADER 01887oam 2200289z- 450 001 9910229886103321 005 20200324171230.0 035 $a(CKB)3810000000208559 035 $a(Perlego)2345563 035 $a(EXLCZ)993810000000208559 100 $a20210326d2015 uy | 101 0 $aita 200 00$aI comuni di Jean-Claude Maire Vigueur $ePercorsi storiografici 210 $aRoma $cViella$d2014 311 08$a9788867282531 311 08$a8867282530 311 08$a9788867283781 311 08$a8867283782 330 8 $aLa storia dei comuni e? il settore piu? frequentato e piu? internazionalmente conosciuto della medievistica italiana. Il libro fornisce un quadro a tutto tondo degli studi, ricostruendo i percorsi di una storiografia dinamica, vasta, in continuo rinnovamento. Ciascun contributo affronta un aspetto della storia comunale, illustrando le discussioni piu? recenti e le interpretazioni apparse negli ultimi decenni.Con quest'opera collettiva, viene reso omaggio a un grande storico, Jean-Claude Maire Vigueur. Fine interprete del mondo comunale, organizzatore di imprese di ricerca collettive, suggeritore di nuove piste di indagine, questo studioso in un quarantennio di attivita? ha profondamente rinnovato e condizionato le ricerche. Per questa ragione, parlare della recente storiografia sul mondo comunale vuol dire, in primo luogo, parlare de I comuni di Jean-Claude Maire Vigueur. Ne e? uscito un libro che e? un momento di riflessione e, insieme, uno strumento di conoscenza, opera di alcuni dei massimi medievisti italiani (e non solo). 517 $aI comuni di Jean-Claude Maire Vigueur 701 $aCaciorgna$b Maria Teresa$0160726 701 $aCarocci$b Sandro$0441438 701 $aZorzi$b Andrea$0253836 906 $aBOOK 912 $a9910229886103321 996 $aI comuni di Jean-Claude Maire Vigueur$92434306 997 $aUNINA