LEADER 04020nam  22006975  450 
001 996466282403316
005 20200706185204.0
010   $a3-642-38592-3
024 7 $a10.1007/978-3-642-38592-6
035   $a(CKB)3280000000007658
035   $a(DE-He213)978-3-642-38592-6
035   $a(SSID)ssj0000904573
035   $a(PQKBManifestationID)11493051
035   $a(PQKBTitleCode)TC0000904573
035   $a(PQKBWorkID)10923983
035   $a(PQKB)10443193
035   $a(MiAaPQ)EBC3093191
035   $a(PPN)170492397
035   $a(EXLCZ)993280000000007658
100   $a20130530d2013      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aFormal Techniques for Distributed Systems$b[electronic resource] $eJoint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013, Proceedings /$fedited by Dirk Beyer, Michele Boreale
205   $a1st ed. 2013.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2013.
215   $a1 online resource (XIV, 321 p. 66 illus.) 
225 1 $aProgramming and Software Engineering ;$v7892
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-642-38591-5 
327   $aDistributed computing models -- Formal specification -- Testing -- Verification methods -- Application-level distributed systems -- Telecommunication services -- Internet -- Embedded and real-time systems.-Networking and communication security and reliability.
330   $aThis book constitutes the refereed proceedings of the 15th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2013, and the 33rd IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2013, held in Florence, Italy, in June 2013, as part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013. The 20 revised full papers presented were carefully reviewed and selected from 39 submissions. The papers present a wide range of topics combining theory and practice. They cover distributed computing models and formal specification, testing, and verification methods as well as application domains such as application-level distributed systems, telecommunication services, Internet, embedded and real-time systems, and networking and communication security and reliability.
410  0$aProgramming and Software Engineering ;$v7892
606   $aComputer logic
606   $aSoftware engineering
606   $aComputers
606   $aMathematical logic
606   $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X
606   $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029
606   $aComputation by Abstract Devices$3https://scigraph.springernature.com/ontologies/product-market-codes/I16013
606   $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048
615  0$aComputer logic.
615  0$aSoftware engineering.
615  0$aComputers.
615  0$aMathematical logic.
615 14$aLogics and Meanings of Programs.
615 24$aSoftware Engineering.
615 24$aComputation by Abstract Devices.
615 24$aMathematical Logic and Formal Languages.
676   $a004.36
702   $aBeyer$b Dirk$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aBoreale$b Michele$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a996466282403316
996   $aFormal Techniques for Distributed Systems$9774228
997   $aUNISA