Mural: A Formal Development Support System

by R.D. Moore, Cliff B. Jones, P.A. Lindsay, et al.

Formal methods enable computer architecture and software design to be mathematically proved correct before they are implemented. The complexity and time-consuming nature of such proofs have limited... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 354019651X
• ISBN13: 9783540196518
• Release Date: May 1991
• Publisher: Springer
• Length: 421 Pages
• Weight: 1.53 lbs.
• Dimensions: 0.9" x 6.7" x 9.6"