Fme 2003: Formal Methods: International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings

ThisvolumecontainstheproceedingsofFM2003, the12thInternationalFormal Methods Europe Symposium which was held in Pisa, Italy on September 8-14, 2003. Formal Methods Europe (FME, www. fmeurope. org) is... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 3540408282
• ISBN13: 9783540408284
• Release Date: August 2003
• Publisher: Springer
• Length: 946 Pages
• Weight: 2.91 lbs.
• Dimensions: 1.9" x 6.1" x 9.2"