Formal Methods and Software Engineering: 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, ... 9407 (Lecture Notes in Computer Science)

by Michael Butler (Editor), Fatiha Zaïdi (Series Editor), SylvainConchon (Series Editor)

• New

  Paperback
  2016

  $64.91

  This book constitutes the refereed proceedings of the 17th International Conference on Formal Engineering Methods, ICFEM 2015, held in Paris, France, in November 2015.