LEADER 04096nam  22008295  450 
001 996466223303316
005 20220423005525.0
010   $a3-319-25423-5
024 7 $a10.1007/978-3-319-25423-4
035   $a(CKB)4340000000001169
035   $a(SSID)ssj0001585119
035   $a(PQKBManifestationID)16265776
035   $a(PQKBTitleCode)TC0001585119
035   $a(PQKBWorkID)14865452
035   $a(PQKB)10142823
035   $a(DE-He213)978-3-319-25423-4
035   $a(MiAaPQ)EBC6282962
035   $a(MiAaPQ)EBC5586557
035   $a(Au-PeEL)EBL5586557
035   $a(OCoLC)1066198578
035   $a(PPN)190529083
035   $a(EXLCZ)994340000000001169
100   $a20151130d2015      u|             0
101 0 $aeng
135   $aurnn#008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aFormal Methods and Software Engineering$b[electronic resource] $e17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings /$fedited by Michael Butler, Sylvain Conchon, Fatiha Zaïdi
205   $a1st ed. 2015.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2015.
215   $a1 online resource (XXV, 436 p. 150 illus. in color.)
225 1 $aProgramming and Software Engineering ;$v9407
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-319-25422-7 
330   $aThis book constitutes the refereed proceedings of the 17th International Conference on Formal Engineering Methods, ICFEM 2015, held in Paris, France, in November 2015. The 27 revised full papers presented were carefully reviewed and selected from 82 submissions. The papers cover a wide range of topics in the area of formal methods and software engineering and are devoted to advancing the state of the art of applying formal methods in practice. They focus in particular on combinations of conceptual and methodological aspects with their formal foundation and tool support.
410  0$aProgramming and Software Engineering ;$v9407
606   $aSoftware engineering
606   $aComputer programming
606   $aProgramming languages (Electronic computers)
606   $aAlgorithms
606   $aMathematical logic
606   $aComputer communication systems
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   $aAlgorithm Analysis and Problem Complexity$3https://scigraph.springernature.com/ontologies/product-market-codes/I16021
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
615  0$aSoftware engineering.
615  0$aComputer programming.
615  0$aProgramming languages (Electronic computers).
615  0$aAlgorithms.
615  0$aMathematical logic.
615  0$aComputer communication systems.
615 14$aSoftware Engineering.
615 24$aProgramming Techniques.
615 24$aProgramming Languages, Compilers, Interpreters.
615 24$aAlgorithm Analysis and Problem Complexity.
615 24$aMathematical Logic and Formal Languages.
615 24$aComputer Communication Networks.
676   $a004
702   $aButler$b Michael$f1967-$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aConchon$b Sylvain$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aZaïdi$b Fatiha$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a996466223303316
996   $aFormal Methods and Software Engineering$9771999
997   $aUNISA