LEADER 01341nam a2200301 i 4500 001 991000300889707536 005 20020527111350.0 008 010810s1973 it ||| | ita 035 $ab10058278-39ule_inst 035 $aPARLA219101$9ExL 040 $aDip.to Filosofia$bita 082 04$a324.245075 100 1 $aSecchia, Pietro$0119681 245 13$aIl Partito comunista italiano e la guerra di liberazione, 1943-1945 :$bricordi, documenti inediti e testimonianze /$cPietro Secchia 250 $a2. ed. 260 $aMilano :$bFeltrinelli,$c1973 300 $aXLVI, 1142 p. ;$c25 cm. 490 0 $aAnnali / Istituto Giangiacomo Feltrinelli ;$v13 650 4$aPartito comunista italiano$y1943-1945 650 4$aResistenza$zItalia$xStoria 907 $a.b10058278$b17-02-17$c27-06-02 912 $a991000300889707536 945 $aLE005 MF 19 L 1$g1$iLE005A-4380$lle005$o-$pE0.00$q-$rl$s- $t0$u0$v0$w0$x0$y.i10066597$z27-06-02 945 $aLE023 324.245 SEC 1 1$g1$i2023000152300$lle023$o-$pE0.00$q-$rl$s- $t0$u0$v0$w0$x0$y.i15163416$z02-09-10 945 $aLE009 Per. St. 222,13$g1$lle009$o-$pE0.00$q-$rn$so $t0$u0$v0$w0$x0$y.i15163404$z02-09-10 996 $aPartito comunista italiano e la guerra di Liberazione 1943-1945$9171356 997 $aUNISALENTO 998 $ale005$ale023$ale009$b01-01-01$cm$da $e-$fita$git $h3$i3 LEADER 06040nam 22008055 450 001 9910483945003321 005 20251226203731.0 010 $a3-642-10373-1 024 7 $a10.1007/978-3-642-10373-5 035 $a(CKB)1000000000804427 035 $a(SSID)ssj0000355502 035 $a(PQKBManifestationID)11267517 035 $a(PQKBTitleCode)TC0000355502 035 $a(PQKBWorkID)10337795 035 $a(PQKB)10893265 035 $a(DE-He213)978-3-642-10373-5 035 $a(MiAaPQ)EBC3064789 035 $a(PPN)139962700 035 $a(EXLCZ)991000000000804427 100 $a20100301d2009 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aFormal Methods and Software Engineering $e11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009, Proceedings /$fedited by Karin Breitman, Ana Cavalcanti 205 $a1st ed. 2009. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2009. 215 $a1 online resource (XIV, 758 p.) 225 1 $aProgramming and Software Engineering,$x2945-9168 ;$v5885 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a3-642-10372-3 320 $aIncludes bibliographical references and index. 327 $aInvited Papers -- Seamless Model Driven Systems Engineering Based on Formal Models -- Compositional Verification of Input-Output Conformance via CSP Refinement Checking -- Testing I -- Symbolic Query Exploration -- Event Listener Analysis and Symbolic Execution for Testing GUI Applications -- An Empirical Study of Structural Constraint Solving Techniques -- Protocols -- Improving Automatic Verification of Security Protocols with XOR -- Modeling and Verification of Privacy Enhancing Protocols -- Role-Based Symmetry Reduction of Fault-Tolerant Distributed Protocols with Language Support -- Testing II -- Implementing and Applying the Stocks-Carrington Framework for Model-Based Testing -- A Statistical Approach to Test Stochastic and Probabilistic Systems -- Qualitative Action Systems -- Verification -- RAFFS: Model Checking a Robust Abstract Flash File Store -- European Train Control System: A Case Study in Formal Verification -- Development of Security Software: A High Assurance Methodology -- Model Checking I -- Bounded Semantics of CTL and SAT-Based Verification -- Graded-CTL: Satisfiability and Symbolic Model Checking -- Approximate Model Checking of PCTL Involving Unbounded Path Properties -- Object-Orientation -- A Graph-Based Operational Semantics of OO Programs -- Modeling and Analysis of Thread-Pools in an Industrial Communication Platform -- A Verification System for Distributed Objects with Asynchronous Method Calls -- Model checking II -- A Time-Optimal On-the-Fly Parallel Algorithm for Model Checking of Weak LTL Properties -- Scalable Multi-core Model Checking Fairness Enhanced Systems -- Combining Static Model Checking with Dynamic Enforcement Using the Statecall Policy Language -- Event-B -- Supporting Reuse of Event-B Developments through Generic Instantiation -- A Lazy Unbounded Model Checker for Event-B -- Proof Assisted Model Checking for B -- Compilation -- Machine-Checked Sequencer for Critical Embedded Code Generator -- Implementing a Direct Method for Certificate Translation -- Process Algebra -- Algorithmic Verification with Multiple and Nested Parameters -- Verifying Stateful Timed CSP Using Implicit Clocks and Zone Abstraction -- Refinement -- Modal Systems: Specification, Refinement and Realisation -- Refinement-Preserving Co-evolution -- Algebraic Specifications -- Circular Coinduction with Special Contexts -- The VSE Refinement Method in Hets -- Real-Time Systems -- A Compositional Approach on Modal Specifications for Timed Systems -- An Efficient Translation of Timed-Arc Petri Nets to Networks of Timed Automata -- Verifying Ptolemy II Discrete-Event Models Using Real-Time Maude -- Specifying and Verifying Business Processes Using PPML. 330 $aThis book constitutes the refereed proceedings of the 11th International Conference on Formal Engineering Methods, ICFEM 2009, held in Rio de Janeiro, Brazil, December 2009. The 36 revised full papers together with two invited talks presented were carefully reviewed and selected from 121 submissions. The papers address all current issues in formal methods and their applications in software engineering. They are organized in topical sections on Testing, Protocols, verification, model checking, object-orientation, event-b, compilation, process algebra, refinement, algebraic specifications and real-time systems. 410 0$aProgramming and Software Engineering,$x2945-9168 ;$v5885 606 $aSoftware engineering 606 $aCompilers (Computer programs) 606 $aComputer programming 606 $aComputer science 606 $aMachine theory 606 $aSoftware Engineering 606 $aCompilers and Interpreters 606 $aProgramming Techniques 606 $aModels of Computation 606 $aFormal Languages and Automata Theory 615 0$aSoftware engineering. 615 0$aCompilers (Computer programs). 615 0$aComputer programming. 615 0$aComputer science. 615 0$aMachine theory. 615 14$aSoftware Engineering. 615 24$aCompilers and Interpreters. 615 24$aProgramming Techniques. 615 24$aModels of Computation. 615 24$aFormal Languages and Automata Theory. 676 $a004n/a 686 $aDAT 310f$2stub 686 $aDAT 510f$2stub 686 $aSS 4800$2rvk 701 $aBreitman$b Karin$01760410 701 $aCavalcanti$b Ana$01736503 712 12$aInternational Conference on Formal Engineering Methods. 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910483945003321 996 $aFormal methods and software engineering$94199372 997 $aUNINA