Formal Methods and Software Engineering: 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, ... 10009 (Lecture Notes in Computer Science)

Formal Methods and Software Engineering: 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, ... 10009 (Lecture Notes in Computer Science)

by Mark Lawford (Editor), Shaoying Liu (Editor), Kazuhiro Ogata (Editor)

Synopsis

This book constitutes the refereed proceedings of the 18th International Conference on Formal Engineering Methods, ICFEM 2016, held in Tokyo, Japan, in November 2016.

$57.77

Save:$23.93 (29%)

Quantity

10 in stock

More Information

Format: Paperback
Pages: 508
Edition: 1st ed. 2016
Publisher: Springer
Published: 15 Oct 2016

ISBN 10: 3319478451
ISBN 13: 9783319478456