Formal Methods and Software Engineering: 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010, Proceedings - Lecture Notes in Computer Science - Jin Song Dong - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783642169007 - October 29, 2010
In case cover and title do not match, the title is correct

Jin Song Dong
Formal Methods and Software Engineering: 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010, Proceedings - Lecture Notes in Computer Science

Get an email once the item is available
Do you have a profile? Log in
Get notified about new Jin Song Dong releases

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Not rated yet

This book constitutes the refereed proceedings of the 12th InternationalConference on Formal Engineering Methods, ICFEM 2010, held in Shanghai, China, November 2010. The 42 revised full papers together with 3 invited talks presented were carefully reviewed and selected from 114 submissions.

712 pages, 202 black & white illustrations, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released October 29, 2010
ISBN13 9783642169007
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 712
Dimensions 155 × 234 × 28 mm   ·   1.02 kg
Language French  
Editor Dong, Jin Song
Editor Zhu, Huibiao

More by Jin Song Dong

Show all

More from the same publisher

See all of Jin Song Dong ( e.g. Paperback Book )