Scalable Techniques for Formal Verification

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. Read More

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. Read Less

• All from $29.70
• New Books from $72.70
• Used Books from $111.58
• eBook from $29.70

• • eBook Details

  	This is a digital edition of this title. Rent eBook (5 Options) 30 Day Rental: $29.70 (Expires Aug 07, 2024) 60 Day Rental: $39.60 (Expires Sep 06, 2024) 90 Day Rental: $49.50 (Expires Oct 06, 2024) 120 Day Rental: $59.40 (Expires Nov 05, 2024) 180 Day Rental: $64.35 (Expires Jan 04, 2025) Buy eBook Lifetime Access: $99.00 Title: Scalable Techniques for Formal Verification by Sandip Ray Publisher: Springer Nature Print ISBN: 9781441959973, 1441959971 eText ISBN: 9781441959980 Edition: 2010 Format: EPUB eBook	$29.70 Rent eBook This is a digital eBook Nothing will be shipped to you Works with web browsers and the VitalSource app on all Windows, Mac, Chromebook, Kindle Fire, iOS, and Android devices Most eBooks are returnable within 14 days of purchase Questions? See our eBook FAQ