LEADER 03754nam  22007575  450 
001 996465926703316
005 20200630235836.0
010   $a3-642-27269-X
024 7 $a10.1007/978-3-642-27269-1
035   $a(CKB)3400000000025731
035   $a(SSID)ssj0000609737
035   $a(PQKBManifestationID)11426154
035   $a(PQKBTitleCode)TC0000609737
035   $a(PQKBWorkID)10620805
035   $a(PQKB)10977203
035   $a(DE-He213)978-3-642-27269-1
035   $a(MiAaPQ)EBC3071023
035   $a(PPN)159086485
035   $a(EXLCZ)993400000000025731
100   $a20120117d2012      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aFormal Aspects of Component Software$b[electronic resource] $e7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papers /$fedited by Luis Soares Barbosa, Markus Lumpe
205   $a1st ed. 2012.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2012.
215   $a1 online resource (X, 305 p.) 
225 1 $aProgramming and Software Engineering ;$v6921
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-642-27268-1 
320   $aIncludes bibliographical references and index.
330   $aThis book constitutes revised selected papers of the 7th International Workshop on Formal Aspects of Component Software, FACS 2010, held in Guimarães, Portugal, in October 2010. The 13 full papers and 4 short papers presented together with 1 panel discussion and 2 invited talks were carefully reviewed and selected from 37 submissions. The workshop seeks to develop a better understanding on how formal methods can or should be used for component-based software development to succeed.
410  0$aProgramming and Software Engineering ;$v6921
606   $aSoftware engineering
606   $aComputer logic
606   $aProgramming languages (Electronic computers)
606   $aMathematical logic
606   $aComputer programming
606   $aComputer communication systems
606   $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029
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   $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048
606   $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010
606   $aComputer Communication Networks$3https://scigraph.springernature.com/ontologies/product-market-codes/I13022
615  0$aSoftware engineering.
615  0$aComputer logic.
615  0$aProgramming languages (Electronic computers).
615  0$aMathematical logic.
615  0$aComputer programming.
615  0$aComputer communication systems.
615 14$aSoftware Engineering.
615 24$aLogics and Meanings of Programs.
615 24$aProgramming Languages, Compilers, Interpreters.
615 24$aMathematical Logic and Formal Languages.
615 24$aProgramming Techniques.
615 24$aComputer Communication Networks.
676   $a005.1
702   $aBarbosa$b Luis Soares$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aLumpe$b Markus$4edt$4http://id.loc.gov/vocabulary/relators/edt
906   $aBOOK
912   $a996465926703316
996   $aFormal Aspects of Component Software$92005329
997   $aUNISA