Understanding Formal Methods

By Jean Francois Monin and M.G. Hinchey

This is an excellent introduction to formal methods which will bring anyone who needs to know about this important topic up to speed. It is comprehensive, giving the reader all the information needed... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 1852332476
• ISBN13: 9781852332471
• Release Date: November 2002
• Publisher: Springer
• Length: 276 Pages
• Weight: 1.00 lbs.
• Dimensions: 0.6" x 6.1" x 9.3"