Formal Verification of Object-Oriented Software: International Conference, Foveoos 2010, Paris, France, June 28-30, 2010, Revised Selected Papers

by Claude Marche

This book presents the thoroughly refereed post-conference proceedings of the International Conference on Formal Verification of Object-Oriented Software, FoVeOOS 2010, held in Paris, France, in June... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 3642180698
• ISBN13: 9783642180699
• Release Date: January 2011
• Publisher: Springer
• Length: 199 Pages
• Weight: 0.70 lbs.
• Dimensions: 0.6" x 6.1" x 9.3"