Cover Image

Formal Methods and Software Engineering 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings /

This 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 topi...

Full description

Corporate Author: SpringerLink (Online service)
Other Authors: Butler, Michael. (Editor, http://id.loc.gov/vocabulary/relators/edt), Conchon, Sylvain. (Editor, http://id.loc.gov/vocabulary/relators/edt), Zaïdi, Fatiha. (Editor, http://id.loc.gov/vocabulary/relators/edt)
Language:English
Published: Cham : Springer International Publishing : Imprint: Springer, 2015.
Edition:1st ed. 2015.
Series:Programming and Software Engineering ; 9407
Subjects:
Software engineering.
Computer programming.
Programming languages (Electronic computers).
Algorithms.
Mathematical logic.
Computer communication systems.
Software Engineering.
Programming Techniques.
Programming Languages, Compilers, Interpreters.
Algorithm Analysis and Problem Complexity.
Mathematical Logic and Formal Languages.
Computer Communication Networks.
Online Access:https://doi.org/10.1007/978-3-319-25423-4

Internet

https://doi.org/10.1007/978-3-319-25423-4

Similar Items