FME '97 Industrial Applications and Strengthened Foundations of Formal Methods: 4th International Symposium of Formal Methods Europe Graz, Austria, ... 1313 (Lecture Notes in Computer Science)

FME '97 Industrial Applications and Strengthened Foundations of Formal Methods: 4th International Symposium of Formal Methods Europe Graz, Austria, ... 1313 (Lecture Notes in Computer Science)

by PeterLucas (Series Editor), Cliff B . Jones (Series Editor), JohnFitzgerald (Editor)

$110.85

Quantity

10 in stock

More Information

Format: Paperback
Pages: 708
Edition: 1997
Publisher: Springer
Published: 22 Feb 2009

ISBN 10: 3540635335
ISBN 13: 9783540635338