EAN: 9783319117362

FORMAL METHODS AND SOFTWARE ENGINEERING KARTONI...

This book constitutes the refereed proceedings of the 16th International Conference on Formal
Engineering Methods  ICFEM 2014  held in Luxembourg  Luxembourg  in November 2014. The 28
revised full papers presented were carefully reviewed and selected from 73 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.

Aktuelle Preise zur EAN 9783319117362

Produktinformationen zur 9783319117362