Formal Methods and Software Engineering: 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November ... (Lecture Notes in Computer Science)

Formal Methods and Software Engineering: 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November ... (Lecture Notes in Computer Science)

by Stephan Merz (Editor), Jun Pang (Editor)

Synopsis

This book constitutes the refereed proceedings of the 16th International Conference on Formal Engineering Methods, ICFEM 2014, held in Luxembourg, Luxembourg, in November 2014.

$68.90

Save:$4.68 (6%)

Quantity

10 in stock

More Information

Format: Paperback
Pages: 480
Edition: 2014
Publisher: Springer
Published: 23 Sep 2014

ISBN 10: 331911736X
ISBN 13: 9783319117362