LEADER 03820nam  22007695  450 
001 996465559603316
005 20200706091431.0
010   $a3-642-22045-2
024 7 $a10.1007/978-3-642-22045-6
035   $a(CKB)2670000000095936
035   $a(SSID)ssj0000530729
035   $a(PQKBManifestationID)11301463
035   $a(PQKBTitleCode)TC0000530729
035   $a(PQKBWorkID)10568351
035   $a(PQKB)11366776
035   $a(DE-He213)978-3-642-22045-6
035   $a(MiAaPQ)EBC3066890
035   $a(PPN)153860278
035   $a(EXLCZ)992670000000095936
100   $a20110627d2011      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aSoftware Composition$b[electronic resource] $e10th International Conference, SC 2011, Zurich, Switzerland, June 30 - July 1, 2011, Proceedings /$fedited by Sven Apel, Ethan Jackson
205   $a1st ed. 2011.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2011.
215   $a1 online resource (VIII, 181 p. 57 illus., 35 illus. in color.) 
225 1 $aProgramming and Software Engineering ;$v6708
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-642-22044-4 
320   $aIncludes bibliographical references and index.
330   $aThe book constitutes the refereed proceedings of the 10th International Conference on Software Composition, SC 2011, held in Zurich, Switzerland, in June/July 2011, co-located with TOOLS 2011 Federated Conferences.The 10 revised full papers and 2 short papers were carefully reviewed and selected from 32 initial submissions for inclusion in the book. The papers reflect all current research in software composition and are organized in topical sections on composition and interfaces, aspects and features, and applications.
410  0$aProgramming and Software Engineering ;$v6708
606   $aSoftware engineering
606   $aComputer programming
606   $aComputer logic
606   $aProgramming languages (Electronic computers)
606   $aComputer communication systems
606   $aMathematical logic
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   $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X
606   $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037
606   $aComputer Communication Networks$3https://scigraph.springernature.com/ontologies/product-market-codes/I13022
606   $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048
615  0$aSoftware engineering.
615  0$aComputer programming.
615  0$aComputer logic.
615  0$aProgramming languages (Electronic computers).
615  0$aComputer communication systems.
615  0$aMathematical logic.
615 14$aSoftware Engineering.
615 24$aProgramming Techniques.
615 24$aLogics and Meanings of Programs.
615 24$aProgramming Languages, Compilers, Interpreters.
615 24$aComputer Communication Networks.
615 24$aMathematical Logic and Formal Languages.
676   $a005.1
702   $aApel$b Sven$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aJackson$b Ethan$4edt$4http://id.loc.gov/vocabulary/relators/edt
712 12$aSC (Conference : Software Composition)
906   $aBOOK
912   $a996465559603316
996   $aSoftware Composition$9771974
997   $aUNISA