LEADER 04026nam  22007335  450 
001 9910349428003321
005 20200629144614.0
010   $a3-319-92612-8
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 ;$v10854
311   $a3-319-92611-X 
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 ;$v10854
606   $aSoftware engineering
606   $aOperating systems (Computers)
606   $aProgramming languages (Electronic computers)
606   $aComputer security
606   $aComputer communication systems
606   $aArchitecture, Computer
606   $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029
606   $aOperating Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I14045
606   $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037
606   $aSystems and Data Security$3https://scigraph.springernature.com/ontologies/product-market-codes/I28060
606   $aComputer Communication Networks$3https://scigraph.springernature.com/ontologies/product-market-codes/I13022
606   $aComputer System Implementation$3https://scigraph.springernature.com/ontologies/product-market-codes/I13057
615  0$aSoftware engineering.
615  0$aOperating systems (Computers).
615  0$aProgramming languages (Electronic computers).
615  0$aComputer security.
615  0$aComputer communication systems.
615  0$aArchitecture, Computer.
615 14$aSoftware Engineering.
615 24$aOperating Systems.
615 24$aProgramming Languages, Compilers, Interpreters.
615 24$aSystems and Data 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