Formal Methods for Components and Objects: Third International Symposium, Fmco 2004, Leiden, the Netherlands, November 2-5, 2004, Revised Lectures

Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design. However, their application to the development of large systems requires more... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 3540291318
• ISBN13: 9783540291312
• Release Date: September 2005
• Publisher: Springer
• Length: 328 Pages
• Weight: 1.04 lbs.
• Dimensions: 0.7" x 6.1" x 9.2"