LEADER 00972nam0-2200301 --450 001 9910547998803321 005 20220315135536.0 010 $a978-88-6315-567-9 020 $aIT$b2013-4225 100 $a20220315d2013----kmuy0itay5050 ba 101 0 $aita 102 $aIT 105 $ay m 001cy 200 1 $a<>forma breve del narrare$enovelle, contes, short stories$fL. Battaglia Ricci ... [et al.]$ga cura di Loretta Innocenti 210 $aPisa$cPacini$d2013 215 $a229 p.$d23 cm 225 1 $a<>libri dell'Associazione Sigismondo Malatesta. Studi di letterature comparate$i(Seconda serie)$v12 610 0 $aRacconti$aSec. 14.-20. 676 $a809.31$v22 702 1$aInnocenti,$bLoretta 702 1$aBattaglia Ricci,$bLucia 801 0$aIT$bUNINA$gREICAT$2UNIMARC 901 $aBK 912 $a9910547998803321 952 $a809.31 RIC 1$b2021/048$fFLFBC 959 $aFLFBC 996 $aForma breve del narrare$91073013 997 $aUNINA LEADER 01506nam 2200421 a 450 001 9910700987703321 005 20110831100615.0 035 $a(CKB)5470000002413147 035 $a(OCoLC)748555291 035 $a(EXLCZ)995470000002413147 100 $a20110831d2011 ua 0 101 0 $aeng 135 $aurmn||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aMillennium Challenge Corporation$b[electronic resource] $ecompacts in Cape Verde and Honduras achieved reduced targets : report to congressional committees 210 1$a[Washington, D.C.] :$cU.S. Govt. Accountability Office,$d[2011] 215 $a1 online resource (iv, 117 pages) $ccolor illustrations 300 $aTitle from PDF title screen (viewed Aug. 22, 2011). 300 $a"July 2011." 300 $a"GAO-11-728." 320 $aIncludes bibliographical references. 517 $aMillennium Challenge Corporation 606 $aEconomic assistance, American$zCabo Verde 606 $aEconomic assistance, American$zHonduras 606 $aSustainable development$zCabo Verde 606 $aSustainable development$zHonduras 615 0$aEconomic assistance, American 615 0$aEconomic assistance, American 615 0$aSustainable development 615 0$aSustainable development 801 0$bGPO 801 1$bGPO 906 $aBOOK 912 $a9910700987703321 996 $aMillennium challenge corporation$92881949 997 $aUNINA LEADER 05521nam 22007935 450 001 9910484857203321 005 20251226200546.0 010 $a3-642-41202-5 024 7 $a10.1007/978-3-642-41202-8 035 $a(CKB)3710000000024401 035 $a(SSID)ssj0001049448 035 $a(PQKBManifestationID)11561341 035 $a(PQKBTitleCode)TC0001049448 035 $a(PQKBWorkID)11018604 035 $a(PQKB)10413753 035 $a(DE-He213)978-3-642-41202-8 035 $a(MiAaPQ)EBC3093357 035 $a(PPN)176115811 035 $a(EXLCZ)993710000000024401 100 $a20131021d2013 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aFormal Methods and Software Engineering $e15th International Conference on Formal EngineeringMethods, ICFEM 2013, Queenstown, New Zealand, October 29 - November 1, 2013, Proceedings /$fedited by Lindsay Groves, Jing Sun 205 $a1st ed. 2013. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2013. 215 $a1 online resource (XVIII, 466 p. 136 illus.) 225 1 $aProgramming and Software Engineering,$x2945-9168 ;$v8144 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a3-642-41201-7 327 $aKeynote -- Lattices of Information for Security: Deterministic, Demonic, Probabilistic -- Specification -- Algebraic Laws for Process Subtyping -- Boundness Issues in CCSL Specifications -- Mining Dataflow Sensitive Specifications -- Proof -- A Proof Slicing Framework for Program Verification -- Formally Verified System Initialisation -- Verifying an Aircraft Proximity Characterization Method in Coq -- Testing -- Assisting Specification Refinement by Random Testing -- Generation of Checking Sequences Using Identification Sets -- The Circus Testing Theory Revisited in Isabelle/HOL -- Timed Systems -- A CSP Timed Input-Output Relation and a Strategy for Mechanised Conformance Verification -- Deadline Analysis of AUTOSAR OS Periodic Tasks in the Presence of Interrupts -- Improving Model Checking Stateful Timed CSP with non-Zenoness through Clock-Symmetry Reduction -- Concurrency -- A Modular Approach for Reusing Formalisms in Verification Tools of Concurrent Systems -- A UTP Semantics for Communicating Processes with Shared Variables -- Verification of Static and Dynamic Barrier Synchronization Using- Bounded Permissions -- SysML/MDD -- Formal Models of SysML Blocks -- Towards a Process Algebra Framework for Supporting Behavioural Consistency and Requirements Traceability in SysML -- Translation from Workflow Nets to MSVL -- Verification -- Asymptotic Bounds for Quantitative Verification of Perturbed Probabilistic Systems -- Verification of Functional and Non-functional Requirements of Web Service Composition -- vTRUST: A Formal Modeling and Verification Framework for Virtualization Systems -- Application -- Formal Kinematic Analysis of the Two-Link Planar Manipulator -- Formal Modelling of Resilient Data Storage in Cloud -- Linking Operational Semantics and Algebraic Semantics for Wireless Networks -- Static Analysis -- Automated Specification Discovery via User-Defined Predicates -- Path-Sensitive Data Flow Analysis Simplified -- Reconstructing Paths for Reachable Code -- The Domain of ParametricHypercubes for Static Analysis of Computer Games Software. 330 $aThis book constitutes the refereed proceedings of the 15th International Conference on Formal Engineering Methods, ICFEM 2013, held in Queenstown, New Zealand, in October/November 2013. The 28 revised full papers together with 2 keynote speeches presented were carefully reviewed and selected from 88 submissions. The topics covered are abstraction and refinement, formal specification and modeling, program analysis, software verification, formal methods for software safety, security, reliability and dependability, tool development, integration and experiments involving verified systems, formal methods used in certifying products under international standards, and formal model-based development and code generation. 410 0$aProgramming and Software Engineering,$x2945-9168 ;$v8144 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.0151 702 $aGroves$b Lindsay$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aSun$b Jing$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910484857203321 996 $aFormal Methods and Software Engineering$9771999 997 $aUNINA