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

By J.M. Wing

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: 3540665870
• ISBN13: 9783540665878
• Release Date: September 1999
• Publisher: Springer
• Length: 940 Pages
• Weight: 2.91 lbs.
• Dimensions: 1.9" x 6.1" x 9.2"