search for books and compare prices
Judi M. T. Romijn has written 1 work(s)
Search for other authors with the same name
displaying 1 to 1 | at end
show results in order: alphabetically | oldest to newest | newest to oldest
Integrated Formal Methods: 5th International Conference, Ifm 2005, Eindhoven, the Netherlands, November 29 - December 2, 2005. Proceedings
cover image for 9783540304920
Product Description: This is the 5th edition of the International Conference on Integrated Formal Methods (IFM). Previous IFM conferences were held in York (June 1999), D- stuhl (November 2000), Turku (May 2002) and Canterbury (April 2004)...read more
By International Conference on Integrated F, Judi M. T. Romijn (editor), Graeme Smith (editor) and Jaco C. Van De Pol (editor)
See complete details on each edition (1 edition listed)

Paperback:

9783540304920 | Springer-Verlag New York Inc, February 15, 2006, cover price $119.00 | About this edition: This is the 5th edition of the International Conference on Integrated Formal Methods (IFM).

displaying 1 to 1 | at end