ISBN.nu logo
isbn.nu
search for books and compare prices
Search >
Maria M. Larrondo-petrie 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
1
Formal Methods and Software Engineering: 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007, Proceedings
cover image for 9783540766483
Product Description: This book constitutes the refereed proceedings of the 9th International Conference on Formal Engineering Methods, ICFEM 2007, held in Boca Raton, Florida, USA, November 14-15, 2007. The 19 revised full papers together with two invited talks presented were carefully reviewed and selected from 38 submissions...read more
By Michael Butler (editor), Michael G. Hinchey (editor) and Maria M. Larrondo-petrie (editor)
See complete details on each edition (1 edition listed)
Edition summary (click for prices and details):

Paperback:

9783540766483 | Springer-Verlag New York Inc, December 14, 2007, cover price $79.95 | About this edition: This book constitutes the refereed proceedings of the 9th International Conference on Formal Engineering Methods, ICFEM 2007, held in Boca Raton, Florida, USA, November 14-15, 2007.

displaying 1 to 1 | at end