Enter your mobile number or email address below and we'll send you a link to download the free Kindle App. Then you can start reading Kindle books on your smartphone, tablet, or computer - no Kindle device required.

  • Apple
  • Android
  • Windows Phone
  • Android

To get the free app, enter your email address or mobile phone number.

Scalable Techniques for Formal Verification 2010th Edition

ISBN-13: 978-1441959973
ISBN-10: 1441959971
Why is ISBN important?
ISBN
This bar-code number lets you verify that you're getting exactly the right version or edition of a book. The 13-digit and 10-digit formats both work.
Scan an ISBN with your phone
Use the Amazon App to scan ISBNs and compare prices.
Have one to sell? Sell on Amazon
Try the eTextbook for free On clicking this link, a new layer will be open
$0.00 On clicking this link, a new layer will be open
Buy used On clicking this link, a new layer will be open
$49.91 On clicking this link, a new layer will be open
Buy new On clicking this link, a new layer will be open
$149.00 On clicking this link, a new layer will be open
More Buying Choices
26 New from $58.52 19 Used from $45.91
Free Two-Day Shipping for College Students with Amazon Student Free%20Two-Day%20Shipping%20for%20College%20Students%20with%20Amazon%20Student


Save Up to 90% on Textbooks Textbooks
$149.00 FREE Shipping. Only 1 left in stock (more on the way). Ships from and sold by Amazon.com. Gift-wrap available.

Editorial Reviews

Review

From the reviews:

“The book under review, based on the author’s PhD thesis from 2005, is concerned with … improving the scalability of formal verification methods at large. … the material is presented in a fairly accessible fashion, suitable also for beginning graduate students.” (Lutz Schröder, Zentralblatt MATH, Vol. 1211, 2011)
NO_CONTENT_IN_FEATURE

China
Engineering & Transportation Books
Discover books for all types of engineers, auto enthusiasts, and much more. Learn more

Product Details


More About the Author

Discover books, learn about writers, read author blogs, and more.

Customer Reviews

There are no customer reviews yet.
5 star
4 star
3 star
2 star
1 star
Share your thoughts with other customers

Set up an Amazon Giveaway

Amazon Giveaway allows you to run promotional giveaways in order to create buzz, reward your audience, and attract new followers and customers. Learn more
Scalable Techniques for Formal Verification
This item: Scalable Techniques for Formal Verification
Price: $149.00
Ships from and sold by Amazon.com