Integrated Formal Methods: 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)

by StephanMerz (Editor), Dominique Méry (Editor)

New
Paperback
2010
$60.23

Constitutes the refereed proceedings of the 8th International Conference on Integrated Formal Methods, IFM 2010, held in Nancy, France, in October 2010.

Synopsis

Constitutes the refereed proceedings of the 8th International Conference on Integrated Formal Methods, IFM 2010, held in Nancy, France, in October 2010.

$60.23

Quantity

20+ in stock

More Information

Format: Paperback
Pages: 347
Edition: 1st Edition.
Publisher: Springer
Published: 06 Oct 2010
ISBN 10: 3642162649
ISBN 13: 9783642162640

Integrated Formal Methods: 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)

New

$60.23

Synopsis

$60.23

More Information