Formal Methods and Software Engineering: 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings: 4260 (Lecture Notes in Computer Science)

Formal Methods and Software Engineering: 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings: 4260 (Lecture Notes in Computer Science)

by Zhiming Liu (Editor), Jifeng He (Series Editor)

$133.94

Save:$12.63 (9%)

Quantity

10 in stock

More Information

Format: Illustrated
Pages: 792
Edition: 2006
Publisher: Springer
Published: 20 Dec 2006

ISBN 10: 3540474609
ISBN 13: 9783540474609