Integrated Formal Methods : 5th International Conference, Ifm 2005, Eindhoven, the Netherlands, November 29 - December 2, 2005. Proceedings Author:  Judi M. t. Romijn (Editor), International Conference on Integrated F, Jaco van de Pol, Judi M. t. Romijn, Graeme Smith, Graeme Smith (Editor), Jaco C. Van De Pol (Editor) Format:  Paperback Publish Date:  February 2006 ISBN-10:  3540304924 ISBN-13:  9783540304920 List Price:  $78.00

For the best price: or just Pages: 405 Publisher: Springer-Verlag New York Inc Add this book to your wish list | View your wish list | Link to this book Click on this books subject categories to see related titles: Subjects : COMPUTERS : Programming / General Subjects : Formal methods (Computer science) Add your own review! Book Details Summary: The title of this book is Integrated Formal Methods : 5th International Conference, Ifm 2005, Eindhoven, the Netherlands, November 29 - December 2, 2005. Proceedings and it was written by Judi M. t. Romijn (Editor), International Conference on Integrated F, Jaco van de Pol, Judi M. t. Romijn, Graeme Smith, Graeme Smith (Editor), Jaco C. Van De Pol (Editor). This edition of Integrated Formal Methods : 5th International Conference, Ifm 2005, Eindhoven, the Netherlands, November 29 - December 2, 2005. Proceedings is in a Paperback format. This books publish date is February 2006 and it has a suggested retail price of $78.00. There are 405 pages in the book and it was published by Springer-Verlag New York Inc. The 10 digit ISBN is 3540304924 and the 13 digit ISBN is 9783540304920.