LEADER 04139nam  22007695  450 
001 996465394903316
005 20200703074711.0
010   $a3-642-30793-0
024 7 $a10.1007/978-3-642-30793-5
035   $a(CKB)3400000000085310
035   $a(SSID)ssj0000697500
035   $a(PQKBManifestationID)11482016
035   $a(PQKBTitleCode)TC0000697500
035   $a(PQKBWorkID)10692245
035   $a(PQKB)11748257
035   $a(DE-He213)978-3-642-30793-5
035   $a(MiAaPQ)EBC3069835
035   $a(PPN)168317729
035   $a(EXLCZ)993400000000085310
100   $a20120608d2012      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aFormal Techniques for Distributed Systems$b[electronic resource] $eJoint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012, Proceedings /$fedited by Holger Giese, Grigore Rosu
205   $a1st ed. 2012.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2012.
215   $a1 online resource (XIII, 269 p. 75 illus.) 
225 1 $aProgramming and Software Engineering ;$v7273
300   $aInternational conference proceedings.
311   $a3-642-30792-2 
320   $aIncludes bibliographical references and author index.
330   $aThis book constitutes the refereed proceedings of the 14th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2012, and the 32nd IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2012, held in Stockholm, Sweden, in June 2012, as one of the DisCoTec 2012 events. The 16 revised full papers presented were carefully reviewed and selected from 42 submissions. They cover a wide range of topics combining theory and practice in application areas of telecommunication services, Internet, embedded and real-time systems, networking and communication security and reliability, sensor networks, service-oriented architecture, and Web services.
410  0$aProgramming and Software Engineering ;$v7273
606   $aComputer communication systems
606   $aComputer programming
606   $aSoftware engineering
606   $aProgramming languages (Electronic computers)
606   $aComputer logic
606   $aMathematical logic
606   $aComputer Communication Networks$3https://scigraph.springernature.com/ontologies/product-market-codes/I13022
606   $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010
606   $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029
606   $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037
606   $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X
606   $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048
615  0$aComputer communication systems.
615  0$aComputer programming.
615  0$aSoftware engineering.
615  0$aProgramming languages (Electronic computers).
615  0$aComputer logic.
615  0$aMathematical logic.
615 14$aComputer Communication Networks.
615 24$aProgramming Techniques.
615 24$aSoftware Engineering.
615 24$aProgramming Languages, Compilers, Interpreters.
615 24$aLogics and Meanings of Programs.
615 24$aMathematical Logic and Formal Languages.
676   $a004.01/51
702   $aGiese$b Holger$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aRosu$b Grigore$4edt$4http://id.loc.gov/vocabulary/relators/edt
712 12$aFORTE 2012$f(2012 :$eSweden, Switzerland)
906   $aBOOK
912   $a996465394903316
996   $aFormal Techniques for Distributed Systems$9774228
997   $aUNISA