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)

New
Paperback
2016
$57.77

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

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

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)

New

$57.77

Synopsis

$57.77

More Information