Computer-Aided Verification: A Special Issue of Formal Methods in System Design on Computer-Aided Verification

Book Overview

Computer-Aided Verification is a collection of papers that begins with a general survey of hardware verification methods. Ms. Gupta starts with the issue of verification itself and develops a taxonomy... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 1461365791
• ISBN13: 9781461365792
• Release Date: October 2012
• Publisher: Springer
• Length: 142 Pages
• Weight: 0.49 lbs.
• Dimensions: 0.3" x 6.1" x 9.2"