LEADER 04072nam  22007815  450 
001 996465840703316
005 20200630080717.0
010   $a3-642-33826-7
024 7 $a10.1007/978-3-642-33826-7
035   $a(CKB)3400000000086213
035   $a(SSID)ssj0000767595
035   $a(PQKBManifestationID)11424066
035   $a(PQKBTitleCode)TC0000767595
035   $a(PQKBWorkID)10757908
035   $a(PQKB)10748901
035   $a(DE-He213)978-3-642-33826-7
035   $a(MiAaPQ)EBC3069966
035   $a(PPN)168325519
035   $a(EXLCZ)993400000000086213
100   $a20120928d2012      u|             0
101 0 $aeng
135   $aurnn#008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aSoftware Engineering and Formal Methods$b[electronic resource] $e10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings /$fedited by George Eleftherakis, Mike Hinchey, Mike Holcombe
205   $a1st ed. 2012.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2012.
215   $a1 online resource (XIV, 384 p. 103 illus.)
225 1 $aProgramming and Software Engineering ;$v7504
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-642-33825-9 
320   $aIncludes bibliographical references and author index.
330   $aThis book constitutes the refereed proceedings of the 10th International Conference on Software Engineering and Formal Methods, SEFM 2012, held in Thessaloniki, Greece, in October 2012. The 19 revised research papers presented together with 3 short papers, 2 tool papers, and 2 invited talks were carefully reviewed and selected from 98 full submissions. The SEFM conference aspires to advance the state-of-the-art in formal methods, to enhance their scalability and usability with regards to their application in the software industry and to promote their integration with practical engineering methods.
410  0$aProgramming and Software Engineering ;$v7504
606   $aSoftware engineering
606   $aComputer logic
606   $aProgramming languages (Electronic computers)
606   $aMathematical logic
606   $aComputer communication systems
606   $aArtificial intelligence
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   $aComputer Communication Networks$3https://scigraph.springernature.com/ontologies/product-market-codes/I13022
606   $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000
615  0$aSoftware engineering.
615  0$aComputer logic.
615  0$aProgramming languages (Electronic computers).
615  0$aMathematical logic.
615  0$aComputer communication systems.
615  0$aArtificial intelligence.
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$aComputer Communication Networks.
615 24$aArtificial Intelligence.
676   $a005.1
702   $aEleftherakis$b George$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aHinchey$b Mike$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aHolcombe$b Mike$4edt$4http://id.loc.gov/vocabulary/relators/edt
712 12$aInternational Conference on Software Engineering and Formal Methods
906   $aBOOK
912   $a996465840703316
996   $aSoftware Engineering and Formal Methods$92077897
997   $aUNISA