LEADER 03468nam  22008295  450 
001 9910483127203321
005 20251226202301.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 $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,$x2945-9168 ;$v9407
300   $aBibliographic Level Mode of Issuance: Monograph
311 08$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,$x2945-9168 ;$v9407
606   $aSoftware engineering
606   $aComputer programming
606   $aCompilers (Computer programs)
606   $aAlgorithms
606   $aMachine theory
606   $aComputer networks
606   $aSoftware Engineering
606   $aProgramming Techniques
606   $aCompilers and Interpreters
606   $aAlgorithms
606   $aFormal Languages and Automata Theory
606   $aComputer Communication Networks
615  0$aSoftware engineering.
615  0$aComputer programming.
615  0$aCompilers (Computer programs).
615  0$aAlgorithms.
615  0$aMachine theory.
615  0$aComputer networks.
615 14$aSoftware Engineering.
615 24$aProgramming Techniques.
615 24$aCompilers and Interpreters.
615 24$aAlgorithms.
615 24$aFormal Languages and Automata Theory.
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   $aZai?di$b Fatiha$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910483127203321
996   $aFormal Methods and Software Engineering$9771999
997   $aUNINA