Industrial-Strength Formal Methods in Practice

by Michael G. Hinchey and Jonathan P. Bowen

Book Overview

Industrial Strength Formal Methods in Practice provides hands-on experience and guidance for anyone who needs to apply formal methods successfully in an industrial context. Each chapter is written by... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 1852336404
• ISBN13: 9781852336400
• Release Date: September 1999
• Publisher: Springer
• Length: 400 Pages
• Weight: 1.36 lbs.
• Dimensions: 0.9" x 6.1" x 9.2"