Formal Methods and Software Engineering: 12th International Conference on Formal Engineering Methods, ICFEM 2010 Shanghai, China, November 17-19, 2010

By Huibiao Zhu

This book constitutes the refereed proceedings of the 12th International Conference on Formal Engineering Methods, ICFEM 2010, held in Shanghai, China, November 2010. The 42 revised full papers... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 3642169007
• ISBN13: 9783642169007
• Release Date: October 2010
• Publisher: Springer
• Length: 712 Pages
• Weight: 2.24 lbs.
• Dimensions: 1.1" x 6.1" x 9.2"