Integrated Formal Methods: 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)

by JohnDerrick (Editor), StefaniaGnesi (Editor), HelenTreharne (Editor), Diego Latella (Editor)

New
Paperback
2012
$61.20

This book constitutes the refereed proceedings of the 9th International Conference on Integrated Formal Methods, IFM 2012, held Pisa, Italy, in June 2012.

Synopsis

This book constitutes the refereed proceedings of the 9th International Conference on Integrated Formal Methods, IFM 2012, held Pisa, Italy, in June 2012.

$61.20

Quantity

20+ in stock

More Information

Format: Paperback
Pages: 360
Edition: 2012
Publisher: Springer
Published: 06 Jun 2012
ISBN 10: 3642307280
ISBN 13: 9783642307287

Integrated Formal Methods: 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)

New

$61.20

Synopsis

$61.20

More Information