LEADER 00879nam a2200241 i 4500 001 991002618009707536 008 040617s1991 it 000 0 ita d 020 $a8870781860 035 $ab12950361-39ule_inst 040 $aScuola per assistenti sociali$bita 082 0 $a150.195 100 1 $aFiumanò, Marisa$0385247 245 13$aUn sentimento che non inganna :$bsguardo e angoscia in psicanalisi /$cMarisa Fiumanò 260 $aMilano :$bCortina,$c1991 300 $aXIV, 164 p. ;$c21 cm 440 0$aCollana di psicologia 650 4$aPsicanalisi 907 $a.b12950361$b02-04-14$c17-06-04 912 $a991002618009707536 945 $aLE024 PSN VI 22$g1$i2024000030292$lle021$nex DUSS$o-$pE0.00$q-$rl$s- $t0$u0$v0$w0$x0$y.i13542655$z17-06-04 996 $aSentimento che non inganna$9177078 997 $aUNISALENTO 998 $ale021$b13-11-03$cm$da $e-$fita$git $h3$i1 LEADER 04422nam 22007575 450 001 9910483849903321 005 20251226200042.0 010 $a3-540-68863-3 024 7 $a10.1007/978-3-540-68863-1 035 $a(CKB)1000000000440608 035 $a(SSID)ssj0000317718 035 $a(PQKBManifestationID)11224130 035 $a(PQKBTitleCode)TC0000317718 035 $a(PQKBWorkID)10295532 035 $a(PQKB)10178704 035 $a(DE-He213)978-3-540-68863-1 035 $a(MiAaPQ)EBC3068609 035 $a(PPN)127048278 035 $a(EXLCZ)991000000000440608 100 $a20100301d2008 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aFormal Methods for Open Object-Based Distributed Systems $e10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings /$fedited by Gilles Barthe 205 $a1st ed. 2008. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2008. 215 $a1 online resource (X, 259 p.) 225 1 $aProgramming and Software Engineering,$x2945-9168 ;$v5051 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a3-540-68862-5 320 $aIncludes bibliographical references and index. 327 $aFormal Methods for Open Object-Based Distributed Systems -- Guiding Distributed Systems Synthesis with Language-Based Security Policies -- Termination Analysis of Java Bytecode -- Sessions and Pipelines for Structured Service Programming -- Modular Preservation of Safety Properties by Cookie-Based DoS-Protection Wrappers -- Behavioural Theory at Work: Program Transformations in a Service-Centred Calculus -- Mechanizing a Correctness Proof for a Lock-Free Concurrent Stack -- Symbolic Step Encodings for Object Based Communicating State Machines -- Modeling and Model Checking Software Product Lines -- Semantic Foundations and Inference of Non-null Annotations -- Redesign of the LMST Wireless Sensor Protocol through Formal Modeling and Statistical Model Checking -- A Minimal Set of Refactoring Rules for Object-Z -- Formal Modeling of a Generic Middleware to Ensure Invariant Properties -- CoBoxes: Unifying Active Objects and Structured Heaps -- VeriCool: An Automatic Verifier for a Concurrent Object-Oriented Language -- A Caller-Side Inline Reference Monitor for an Object-Oriented Intermediate Language. 330 $aThis book constitutes the refereed proceedings of the 10th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2008, held in Oslo, Norway, in June 2008. The 14 revised full papers presented together with 1 invited lecture were carefully reviewed and selected from 35 submissions. The papers cover topcics such as semantics of object-oriented programming; formal techniques for specification, analysis, and refinement; model checking; theorem proving and deductive verification; type systems and behavioral typing; formal methods for service-oriented computing; integration of quality of service requirements into formal models; formal approaches to component-based design; and applications of formal methods. 410 0$aProgramming and Software Engineering,$x2945-9168 ;$v5051 606 $aComputer networks 606 $aSoftware engineering 606 $aCompilers (Computer programs) 606 $aComputer programming 606 $aOperating systems (Computers) 606 $aComputer Communication Networks 606 $aSoftware Engineering 606 $aCompilers and Interpreters 606 $aProgramming Techniques 606 $aOperating Systems 615 0$aComputer networks. 615 0$aSoftware engineering. 615 0$aCompilers (Computer programs). 615 0$aComputer programming. 615 0$aOperating systems (Computers). 615 14$aComputer Communication Networks. 615 24$aSoftware Engineering. 615 24$aCompilers and Interpreters. 615 24$aProgramming Techniques. 615 24$aOperating Systems. 676 $a004.6 701 $aBarthe$b Gilles$0180568 701 $aBoer$b Frank S. de$0127081 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910483849903321 996 $aFormal methods for open object-based distributed systems$94186894 997 $aUNINA