LEADER 03545nam  22007575  450 
001 9910349428003321
005 20251225202133.0
010   $a9783319926124
010   $a3319926128
024 7 $a10.1007/978-3-319-92612-4
035   $a(CKB)3850000000031382
035   $a(DE-He213)978-3-319-92612-4
035   $a(MiAaPQ)EBC6242215
035   $a(PPN)227403592
035   $a(EXLCZ)993850000000031382
100   $a20180529d2018      u|         0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aFormal Techniques for Distributed Objects, Components, and Systems $e38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedings /$fedited by Christel Baier, Luís Caires
205   $a1st ed. 2018.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2018.
215   $a1 online resource (XI, 197 p. 41 illus.) 
225 1 $aProgramming and Software Engineering,$x2945-9168 ;$v10854
311 08$a9783319926117 
311 08$a331992611X 
320   $aIncludes bibliographical references and index.
327   $aComponent- and Model-Based Design.-Object Technology -- Service-Oriented Computing Systems -- Mobile Computing Systems -- Security -- Privacy -- Adaptive Distributed Systems -- Self-Stabilization -- Self-Healing -- Verification -- Formal Analysis.
330   $aThis book constitutes the proceedings of the 38th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2018, held in Madrid, Spain, in June 2018, as part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018. The 10 full papers presented were carefully reviewed and selected from 28 submissions. The conference is dedicated to fundamental research on theory, models, tools, and applications for distributed systems.
410  0$aProgramming and Software Engineering,$x2945-9168 ;$v10854
606   $aSoftware engineering
606   $aOperating systems (Computers)
606   $aCompilers (Computer programs)
606   $aData protection
606   $aComputer networks
606   $aComputer systems
606   $aSoftware Engineering
606   $aOperating Systems
606   $aCompilers and Interpreters
606   $aData and Information Security
606   $aComputer Communication Networks
606   $aComputer System Implementation
615  0$aSoftware engineering.
615  0$aOperating systems (Computers).
615  0$aCompilers (Computer programs).
615  0$aData protection.
615  0$aComputer networks.
615  0$aComputer systems.
615 14$aSoftware Engineering.
615 24$aOperating Systems.
615 24$aCompilers and Interpreters.
615 24$aData and Information Security.
615 24$aComputer Communication Networks.
615 24$aComputer System Implementation.
676   $a004.36
702   $aBaier$b Christel$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aCaires$b Luís$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910349428003321
996   $aFormal Techniques for Distributed Objects, Components, and Systems$92880511
997   $aUNINA