LEADER 01031cam0 22002773 450 001 SON0001161 005 20210302100346.0 010 $a8846416066 100 $a20040211d1999 |||||ita|0103 ba 101 $aita 102 $aIT 200 1 $a<>famiglia "globale"$eLa sfida delle generazioni nella società del rischio$fElisabetta Carrà Mittini$gPref. Eugenia Scabini 210 $aMilano$cAngeli$d1999 215 $a156$d22 cm 225 2 $aCollana di psicologia sociale e psicoterapia della famiglia 410 1$1001LAEC00015346$12001 $a*Collana di psicologia sociale e psicoterapia della famiglia 700 1$aCarrà Mittini$b, Elisabetta$3AF00003766$4070$0160841 801 0$aIT$bUNISOB$c20210302$gRICA 850 $aUNISOB 852 $aUNISOB$j300$m101934 912 $aSON0001161 940 $aM 102 Monografia moderna SBN 941 $aM 957 $a300$b003072$gSI$d101934$racquisto$1carrano$2UNISOB$3UNISOB$420110726115014.0$520110726115042.0$6carrano 996 $aFamiglia globale$9811430 997 $aUNISOB LEADER 03302oam 2200577 450 001 996465488403316 005 20210717103911.0 010 $a3-540-49019-1 024 7 $a10.1007/3-540-49019-1 035 $a(CKB)1000000000211073 035 $a(SSID)ssj0000323280 035 $a(PQKBManifestationID)11937901 035 $a(PQKBTitleCode)TC0000323280 035 $a(PQKBWorkID)10299283 035 $a(PQKB)11135944 035 $a(DE-He213)978-3-540-49019-7 035 $a(MiAaPQ)EBC3071652 035 $a(MiAaPQ)EBC6485747 035 $a(PPN)155215221 035 $a(EXLCZ)991000000000211073 100 $a20210717d1999 uy 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 00$aFoundations of software science and computation structures $eSecond International Conference, FOSSACS '99 held as part of the joint European Conferences on Theory and Practice of Software, ETAPS '99, Amsterdam, The Netherlands, March 22-28, 1999 : proceedings /$fWolfgang Thomas, editor 205 $a1st ed. 1999. 210 1$aBerlin :$cSpringer-Verlag,$d[1999] 210 4$d©1999 215 $a1 online resource (X, 330 p.) 225 1 $aLecture notes in computer science ;$v1578 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-65719-3 320 $aIncludes bibliographical references and index. 327 $aSecurity Protocols and Specifications -- An Automata-Theoretic Approach to Interprocedural Data-Flow Analysis -- Reasoning about Concurrent Systems Using Types -- Testing Hennessy-Milner Logic with Recursion -- A Strong Logic Programming View for Static Embedded Implications -- Unfolding and Event Structure Semantics for Graph Grammars -- Expanding the Cube -- An Algebraic Characterization of Typability in ML with Subtyping -- Static Analysis of Processes for No Read-Up and No Write-Down -- A WP-calculus for OO -- The Recognizability Problem for Tree Automata with Comparisons between Brothers -- A Theory of ?May? Testing for Asynchronous Languages -- A Nondeterministic Polynomial-Time Unification Algorithm for Bags, Sets and Trees -- Categorical Models of Explicit Substitutions -- Equational Properties of Mobile Ambients -- Model Checking Logics for Communicating Sequential Agents -- A Complete Coinductive Logical System for Bisimulation Equivalence on Circular Objects -- String Languages Generated by Total Deterministic Macro Tree Transducers -- Matching Specifications for Message Sequence Charts -- Probabilistic Temporal Logics via the Modal Mu-Calculus -- A ?-calculus Process Semantics of Concurrent Idealised ALGOL. 410 0$aLecture notes in computer science ;$v1578. 606 $aComputer software$vCongresses 606 $aSystem analysis$vCongresses 615 0$aComputer software 615 0$aSystem analysis 676 $a005.1 702 $aThomas$b Wolfgang$f1947- 712 12$aInternational Joint Conference on Theory and Practice of Software Development$d(9th :$f1999 :$eAmsterdam, Netherlands), 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bUtOrBLW 906 $aBOOK 912 $a996465488403316 996 $aFoundations of Software Science and Computation Structures$9772187 997 $aUNISA