FM 2009: Formal Methods

By Ana Cavalcanti

th FM 2009, the 16 International Symposium on Formal Methods, marked the 10th an- versary of the First World Congress on Formal Methods that was held in 1999 in Toulouse, France. We wished to... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 3642050883
• ISBN13: 9783642050886
• Release Date: October 2009
• Publisher: Springer
• Length: 820 Pages
• Weight: 2.55 lbs.
• Dimensions: 1.2" x 6.1" x 9.3"