LEADER 04280nam  22007815  450 
001 996465419203316
005 20200706141611.0
010   $a3-642-21461-4
024 7 $a10.1007/978-3-642-21461-5
035   $a(CKB)2670000000095857
035   $a(SSID)ssj0000530659
035   $a(PQKBManifestationID)11351551
035   $a(PQKBTitleCode)TC0000530659
035   $a(PQKBWorkID)10568072
035   $a(PQKB)11484353
035   $a(DE-He213)978-3-642-21461-5
035   $a(MiAaPQ)EBC3066808
035   $a(PPN)153862734
035   $a(EXLCZ)992670000000095857
100   $a20110610d2011      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 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 30th IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Island, June 6-9, 2011, Proceedings /$fedited by Roberto Bruni, Juergen Dingel
205   $a1st ed. 2011.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2011.
215   $a1 online resource (XIV, 349 p. 56 illus., 16 illus. in color.) 
225 1 $aProgramming and Software Engineering ;$v6722
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-642-21460-6 
320   $aIncludes bibliographical references and index.
330   $aThis book constitutes the refereed proceedings of the 13th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2011, and the 31st IFIP WG 6.1 Formal Techniques for Networked and Distributed Systems, FORTE 2011, held in Reykjavik, Island, in June 2011, as one of the DisCoTec 2011 events. The 21 revised full papers presented together with one invited talk were carefully reviewed and selected from 65 submissions. The topics covered are formal verification, formal modeling and specification, run-time monitoring, and testing to address challenges in many different application areas, including dynamic and ad hoc networks, mobile and adaptive computation, reactive and timed systems, business processes, and distributed and concurrent systems and algorithms.
410  0$aProgramming and Software Engineering ;$v6722
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
702   $aBruni$b Roberto$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aDingel$b Juergen$4edt$4http://id.loc.gov/vocabulary/relators/edt
712 02$aIFIP Working Group 6.1.
712 12$aFORTE 2011$d(31st :$f2011 :$eReykjavi?k, Iceland)
906   $aBOOK
912   $a996465419203316
996   $aFormal Techniques for Distributed Systems$9774228
997   $aUNISA