01162nam0-22003491i-450-99000287486040332120111013132249.0000287486FED01000287486(Aleph)000287486FED0100028748620030910d1996----km-y0itay50------baita<<I >>bilanci consuntivi delle amministrazioni comunalianno 1993Istituto Nazionale di StatisticaRomaIstat199621 p.30 cm2 floppy diskInformazioniIstat13In testa al frontespizio: "Sistema statistico nazionale. Istituto Nazionale di Statistica"Italiastatistiche finanziarie1993IstatItalia1993352.01Istat445627ITUNINARICAUNIMARCBK990002874860403321CENTRO DOCUM.ISTAT I-13/96-Pos4331MAS62 31(05)Depa/inv.7844DAGEACENTRO DOCUM.ISTAT I-12/96-Pos4304MASMASDAGEABilanci consuntivi delle amministrazioni comunali416379UNINA03554nam 22007095 450 99646595200331620230220233127.03-540-31483-010.1007/11580850(CKB)1000000000232687(SSID)ssj0000320520(PQKBManifestationID)11244851(PQKBTitleCode)TC0000320520(PQKBWorkID)10248499(PQKB)11474841(DE-He213)978-3-540-31483-7(MiAaPQ)EBC3066542(PPN)123098513(EXLCZ)99100000000023268720101108d2005 u| 0engurnn|008mamaatxtccrTrustworthy Global Computing[electronic resource] International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005. Revised Selected Papers /edited by Rocco De Nicola, Davide Sangiorgi1st ed. 2005.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2005.1 online resource (VIII, 371 p.) Theoretical Computer Science and General Issues,2512-2029 ;3705Bibliographic Level Mode of Issuance: Monograph3-540-30007-4 Includes bibliographical references and index.Harmony: The Art of Reconciliation -- A Theory of Noninterference for the ?-Calculus -- Typed Processes in Untyped Contexts -- Model–Based Testing of Cryptographic Protocols -- A General Name Binding Mechanism -- Types for Security in a Mobile World -- History-Based Access Control for Distributed Processes -- Programming Cryptographic Protocols -- A Framework for Analyzing Probabilistic Protocols and Its Application to the Partial Secrets Exchange -- A Formal Semantics for Protocol Narrations -- web ? at Work -- Concurrency Among Strangers -- The Modelling and Analysis of OceanStore Elements Using the CSP Dependability Library -- A Practical Formal Model for Safety Analysis in Capability-Based Systems -- Mixin Modules for Dynamic Rebinding -- A Distributed Object-Oriented Language with Session Types -- Engineering Runtime Requirements-Monitoring Systems Using MDA Technologies -- Automated Analysis of Infinite Scenarios -- Namespace Logic: A Logic for a Reflective Higher-Order Calculus -- Erratum.Theoretical Computer Science and General Issues,2512-2029 ;3705Software engineeringComputer networksComputer programmingOperating systems (Computers)Compilers (Computer programs)Software EngineeringComputer Communication NetworksProgramming TechniquesOperating SystemsCompilers and InterpretersSoftware engineering.Computer networks.Computer programming.Operating systems (Computers).Compilers (Computer programs).Software Engineering.Computer Communication Networks.Programming Techniques.Operating Systems.Compilers and Interpreters.005.1De Nicola Roccoedthttp://id.loc.gov/vocabulary/relators/edtSangiorgi Davideedthttp://id.loc.gov/vocabulary/relators/edtBOOK996465952003316Trustworthy Global Computing771960UNISA