ISBN 9781441959973,Scalable Techniques for Formal Verification

Scalable Techniques for Formal Verification

Rs5967 Rs8524 30% OFF

Availability: Out of Stock

(Free Delivery)

We Accept
ISBN 9781441959973
Check delivery information
 
ISBN 9781441959973
Publisher

Ingram Publisher Services

Publication Year 2010
ISBN-13

ISBN 9781441959973

ISBN-10 1441959971
Binding

Hardback

Number of Pages 254 Pages
Subject

Information technology: general issues

This book presents the latest approaches to formal verification techniques to seamlessly integrate different formal verification methods within a single logical foundation. It outlines theoretical and practical issues and includes a range of case studies.

More from Author

Scroll