LEADER 03812nam  22007455  450 
001 996465628803316
005 20200706141845.0
010   $a3-642-21464-9
024 7 $a10.1007/978-3-642-21464-6
035   $a(CKB)2670000000083966
035   $a(SSID)ssj0000530660
035   $a(PQKBManifestationID)11348235
035   $a(PQKBTitleCode)TC0000530660
035   $a(PQKBWorkID)10567714
035   $a(PQKB)10666092
035   $a(DE-He213)978-3-642-21464-6
035   $a(MiAaPQ)EBC3066798
035   $a(PPN)153859113
035   $a(EXLCZ)992670000000083966
100   $a20110607d2011      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aCoordination Models and Languages$b[electronic resource] $e13th International Conference, COORDINATION 2011, Reykjavik, Iceland, June 6-9, 2011, Proceedings /$fedited by Wolfgang De Meuter, Gruia-Catalin Roman
205   $a1st ed. 2011.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2011.
215   $a1 online resource (XII, 219 p. 69 illus., 18 illus. in color.) 
225 1 $aProgramming and Software Engineering ;$v6721
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-642-21463-0 
320   $aIncludes bibliographical references and index.
330   $aThis book constitutes the refereed proceedings of the 13th International Conference on Coordination Models and Languages, COORDINATION 2011, held in Reykjavik, Iceland, in June 2011, as one of the  DisCoTec 2011 events. The 14 revised full papers presented were carefully reviewed and selected from 35 submissions. The conference focuses on the design and implementation of models that allow compositional construction of large-scale concurrent and distributed systems, including both practical and foundational models, run-time systems, and related verication and analysis techniques.
410  0$aProgramming and Software Engineering ;$v6721
606   $aSoftware engineering
606   $aComputer programming
606   $aComputer communication systems
606   $aComputers
606   $aApplication software
606   $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029
606   $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010
606   $aSoftware Engineering/Programming and Operating Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I14002
606   $aComputer Communication Networks$3https://scigraph.springernature.com/ontologies/product-market-codes/I13022
606   $aModels and Principles$3https://scigraph.springernature.com/ontologies/product-market-codes/I18016
606   $aInformation Systems Applications (incl. Internet)$3https://scigraph.springernature.com/ontologies/product-market-codes/I18040
615  0$aSoftware engineering.
615  0$aComputer programming.
615  0$aComputer communication systems.
615  0$aComputers.
615  0$aApplication software.
615 14$aSoftware Engineering.
615 24$aProgramming Techniques.
615 24$aSoftware Engineering/Programming and Operating Systems.
615 24$aComputer Communication Networks.
615 24$aModels and Principles.
615 24$aInformation Systems Applications (incl. Internet).
676   $a005.1
702   $aDe Meuter$b Wolfgang$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aRoman$b Gruia-Catalin$4edt$4http://id.loc.gov/vocabulary/relators/edt
712 12$aCOORDINATION (Conference)
906   $aBOOK
912   $a996465628803316
996   $aCoordination Models and Languages$9772324
997   $aUNISA