LEADER 01644nam a2200361 i 4500 001 991004175909707536 005 20020509155438.0 008 010205s1991 it ||| | fre 020 $a882117252X 035 $ab11280943-39ule_inst 035 $aPARLA197419$9ExL 040 $aDip.to Filosofia$bita 041 0 $afreitaspa 082 0 $a236 111 2 $aCongresso internazionale di studi gioachimiti$n<3. ;$d1989 ;$cSan Giovanni in Fiore>$0166963 245 13$aIl profetismo gioachimita tra Quattrocento e Cinquecento :$batti del 3. Congresso internazionale di studi gioachimiti, S. Giovanni in Fiore, 17-21 settembre 1989 /$ca cura di Gian Luca Potestà 260 $aGenova :$bMarietti,$c1991 300 $a520 p., [8] c. di tav. :$bill. ;$c21 cm. 490 0 $aOpere di Gioacchino da Fiore: testi e strumenti ;$v3. 650 4$aCongressi$zSan Giovanni in Fiore$y1989 650 4$aGioacchino : da Fiore$xFortuna$ySec. 15.-16. 650 4$aGioacchino : da Fiore $xCongressi 650 4$aGioachimismo 650 4$aProfezie$zEuropa$ySec. 15.-16. 700 1 $aPotestà, Gian Luca 710 2 $aCentro Internazionale di Studi Gioachimiti 907 $a.b11280943$b23-02-17$c01-07-02 912 $a991004175909707536 945 $aLE005 189 IOA02. ATTI. 03$g1$i2005000094118$lle005$o-$pE0.00$q-$rl$s- $t0$u2$v1$w2$x0$y.i11445786$z01-07-02 945 $aLE005 MF 30 L 47$g1$i2005000197444$lle005$o-$pE0.00$q-$rl$s- $t0$u1$v0$w1$x0$y.i15017199$z22-10-09 996 $aProfetismo gioachimita tra Quattrocento e Cinquecento$975561 997 $aUNISALENTO 998 $ale005$b01-01-01$cm$da $e-$fmul$git $h3$i1 LEADER 03467nam 22008295 450 001 9910483127203321 005 20251226202301.0 010 $a3-319-25423-5 024 7 $a10.1007/978-3-319-25423-4 035 $a(CKB)4340000000001169 035 $a(SSID)ssj0001585119 035 $a(PQKBManifestationID)16265776 035 $a(PQKBTitleCode)TC0001585119 035 $a(PQKBWorkID)14865452 035 $a(PQKB)10142823 035 $a(DE-He213)978-3-319-25423-4 035 $a(MiAaPQ)EBC6282962 035 $a(MiAaPQ)EBC5586557 035 $a(Au-PeEL)EBL5586557 035 $a(OCoLC)1066198578 035 $a(PPN)190529083 035 $a(EXLCZ)994340000000001169 100 $a20151130d2015 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aFormal Methods and Software Engineering $e17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings /$fedited by Michael Butler, Sylvain Conchon, Fatiha Zaïdi 205 $a1st ed. 2015. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2015. 215 $a1 online resource (XXV, 436 p. 150 illus. in color.) 225 1 $aProgramming and Software Engineering,$x2945-9168 ;$v9407 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a3-319-25422-7 330 $aThis book constitutes the refereed proceedings of the 17th International Conference on Formal Engineering Methods, ICFEM 2015, held in Paris, France, in November 2015. The 27 revised full papers presented were carefully reviewed and selected from 82 submissions. The papers cover a wide range of topics in the area of formal methods and software engineering and are devoted to advancing the state of the art of applying formal methods in practice. They focus in particular on combinations of conceptual and methodological aspects with their formal foundation and tool support. 410 0$aProgramming and Software Engineering,$x2945-9168 ;$v9407 606 $aSoftware engineering 606 $aComputer programming 606 $aCompilers (Computer programs) 606 $aAlgorithms 606 $aMachine theory 606 $aComputer networks 606 $aSoftware Engineering 606 $aProgramming Techniques 606 $aCompilers and Interpreters 606 $aAlgorithms 606 $aFormal Languages and Automata Theory 606 $aComputer Communication Networks 615 0$aSoftware engineering. 615 0$aComputer programming. 615 0$aCompilers (Computer programs) 615 0$aAlgorithms. 615 0$aMachine theory. 615 0$aComputer networks. 615 14$aSoftware Engineering. 615 24$aProgramming Techniques. 615 24$aCompilers and Interpreters. 615 24$aAlgorithms. 615 24$aFormal Languages and Automata Theory. 615 24$aComputer Communication Networks. 676 $a004 702 $aButler$b Michael$f1967-$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aConchon$b Sylvain$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aZai?di$b Fatiha$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910483127203321 996 $aFormal Methods and Software Engineering$9771999 997 $aUNINA LEADER 05223nam 22007455 450 001 9910484566303321 005 20251226202354.0 010 $a3-662-46678-3 024 7 $a10.1007/978-3-662-46678-0 035 $a(CKB)3710000000379743 035 $a(SSID)ssj0001465512 035 $a(PQKBManifestationID)11792892 035 $a(PQKBTitleCode)TC0001465512 035 $a(PQKBWorkID)11477848 035 $a(PQKB)11697878 035 $a(DE-He213)978-3-662-46678-0 035 $a(MiAaPQ)EBC6281854 035 $a(MiAaPQ)EBC5585748 035 $a(Au-PeEL)EBL5585748 035 $a(OCoLC)906935600 035 $a(PPN)184895073 035 $a(EXLCZ)993710000000379743 100 $a20150331d2015 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aFoundations of Software Science and Computation Structures $e18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings /$fedited by Andrew Pitts 205 $a1st ed. 2015. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2015. 215 $a1 online resource (XVI, 465 p. 92 illus.) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v9034 300 $aIncludes index. 311 08$a3-662-46677-5 327 $aInvited Talk -- Polarized Substructural Session Types -- Semantics of Programming Languages I -- Synthesis of Strategies and the Hoare Logic of Angelic Nondeterminism -- An Infinitary Model of Linear Logic -- Game Semantics and Normalization by Evaluation -- Foundations of Differential Dataflow -- Categorical Models and Logics -- States of Convex Sets -- A Categorical Semantics for Linear Logical Frameworks -- A Completeness Result for Finite ?-bisimulations -- Sequent Calculus in the Topos of Trees -- Modal and Temporal Logics -- Coalgebraic Trace Semantics via Forgetful Logics -- Unifying Hyper and Epistemic Temporal Logics -- Concurrent, Probabilistic and Timed Systems On the Total Variation Distance of Semi-Markov Chains -- Decidable and Expressive Classes of Probabilistic Automata -- Knowledge = Observation + Memory + Computation -- Compositional Metric Reasoning with Probabilistic Process Calculi -- Semantics of Programming Languages II -- Fragments of ML Decidable by Nested Data Class Memory Automata -- Operational Nominal Game Semantics -- Step-Indexed Logical Relations for Probability -- Automata, Games, Verification -- Minimisation of Multiplicity Tree Automata -- Robust Multidimensional Mean-Payoff Games are Undecidable -- The Cyclic-Routing UAV Problem Is PSPACE-Complete -- Typing Weak MSOL Properties -- Logical Aspects of Computational Complexity Three Variables Suffice for Real-Time Logic -- On Presburger Arithmetic Extended with Modulo Counting Quantifiers -- Parity Games of Bounded Tree- and Clique-Width -- Type Theory, Proof Theory and Implicit Computational Complexity -- Programming and Reasoning with Guarded Recursion for Coinductive Types -- The Computational Contents of Ramified Corecurrence -- On the Dependencies of Logical Rules -- On the Mints Hierarchy in First-Order Intuitionistic Logic. 330 $aThis book constitutes the proceedings of the 18th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2015, held in London, UK, in April 2015, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015. The 28 full papers presented in this volume were carefully reviewed and selected from 93 submissions. They are organized in topical sections named: semantics of programming languages; categorical models and logics; concurrent, probabilistic and timed systems; automata, games, verification; logical aspects of computational complexity; and type theory, proof theory and implicit computational complexity. The book also contains one full paper invited talk. 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v9034 606 $aComputer science 606 $aMachine theory 606 $aCompilers (Computer programs) 606 $aSoftware engineering 606 $aComputer Science Logic and Foundations of Programming 606 $aFormal Languages and Automata Theory 606 $aCompilers and Interpreters 606 $aSoftware Engineering 606 $aTheory of Computation 615 0$aComputer science. 615 0$aMachine theory. 615 0$aCompilers (Computer programs) 615 0$aSoftware engineering. 615 14$aComputer Science Logic and Foundations of Programming. 615 24$aFormal Languages and Automata Theory. 615 24$aCompilers and Interpreters. 615 24$aSoftware Engineering. 615 24$aTheory of Computation. 676 $a005.1 702 $aPitts$b Andrew$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910484566303321 996 $aFoundations of Software Science and Computation Structures$9772187 997 $aUNINA