Fm'99 - Formal Methods: World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 Proceedings,

By J.M. Wing and Jim Woodcook and Jim Davies Wing, Jeannette M.

Formal methods are coming of age. Mathematical techniques and tools are now regarded as an important part of the development process in a wide range of industrial and governmental organisations. A... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 3540665889
• ISBN13: 9783540665885
• Release Date: September 1999
• Publisher: Springer
• Length: 942 Pages
• Weight: 2.90 lbs.
• Dimensions: 1.9" x 6.1" x 9.2"