LEADER 03472nam  22006615  450 
001 996466278403316
005 20200630075947.0
010   $a3-319-59746-9
024 7 $a10.1007/978-3-319-59746-1
035   $a(CKB)4340000000061558
035   $a(DE-He213)978-3-319-59746-1
035   $a(MiAaPQ)EBC6298600
035   $a(MiAaPQ)EBC5591012
035   $a(Au-PeEL)EBL5591012
035   $a(OCoLC)990182643
035   $a(PPN)202990745
035   $a(EXLCZ)994340000000061558
100   $a20170526d2017      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aCoordination Models and Languages$b[electronic resource] $e19th IFIP WG 6.1 International Conference, COORDINATION 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings /$fedited by Jean-Marie Jacquet, Mieke Massink
205   $a1st ed. 2017.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2017.
215   $a1 online resource (XII, 279 p. 94 illus.) 
225 1 $aProgramming and Software Engineering ;$v10319
311   $a3-319-59745-0 
327   $aLanguages and tools -- Types -- Resource, components and information flow -- Verification.
330   $aThis book constitutes the proceedings of the 19th International Conference on Coordination Models and Languages, COORDINATION 2017, held in Neuchâtel, Switzerland, in June 2017, as part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017. The 13 full papers included in this volume were carefully reviewed and selected from 31 submissions. The papers cover a wide range of topics and techniques related to system coordination, including: languages and tools; types; resource, components and information flow; verification.
410  0$aProgramming and Software Engineering ;$v10319
606   $aSoftware engineering
606   $aComputer programming
606   $aProgramming languages (Electronic computers)
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   $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037
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$aProgramming languages (Electronic computers).
615  0$aApplication software.
615 14$aSoftware Engineering.
615 24$aProgramming Techniques.
615 24$aProgramming Languages, Compilers, Interpreters.
615 24$aInformation Systems Applications (incl. Internet).
676   $a005.1
702   $aJacquet$b Jean-Marie$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aMassink$b Mieke$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a996466278403316
996   $aCoordination Models and Languages$9772324
997   $aUNISA