Home > Books > Computer Science Books > pc checkers

Shop for pc checkers online

Products sorted by Relevancy

Principles of Model Checking

Christel Baier, Joost-Pieter Katoen, Foreword by Kim Guldstrand Larsen,Hardcover, English-language edition,Pages:975,Pub ... more

Click to view Special Offers
for this product.

From: $40.65
at 2 Stores

2 coupons available for this product

Store: Amazon
Offer: FREE Shipping on orders over $25
Code: no code required
Expires: Dec 31, 2010
Click to use
Restrictions: Some restrictions apply. See site for details.

Store: DeepDiscount.com
Offer: Free Standard shipping on any order
Code: no code required
Expires: Aug 31, 2010
Click to use
Restrictions:

rebate info

Rebate Amount: ()
Expires:
Download rebate form for
Restrictions:

Selected reviews for this product:

Review from a shopper who 'Loved it'

From: Amazon Posted: Nov 08, 2008 Type: User Review

Good Introduction to Model Checking

I used this book in an introduction to model checking class and found it to be very thorough and relatively readable, given the nature of the material.

The examples are generally clear and illustrative; which is a huge benefit given...
read full review | report as inappropriate

4.00/5

See more reviews


Unfoldings: A Partial-Order Approach to Model Checking (Monographs in... From: $24.36 at 2 Stores	Unfoldings: A Partial-Order Approach to Model Checking (Monographs in... Model checking is a prominent technique used in the hardware and software industries for automatic verification. While ... more Click to view Special Offers for this product.	From: $24.36 at 2 Stores

2 coupons available for this product Store: Amazon Offer: FREE Shipping on orders over $25 Code: no code required Expires: Dec 31, 2010 Click to use Restrictions: Some restrictions apply. See site for details. Store: DeepDiscount.com Offer: Free Standard shipping on any order Code: no code required Expires: Aug 31, 2010 Click to use Restrictions: rebate info Rebate Amount: () Expires: Download rebate form for Restrictions:


Generating Hardware Assertion Checkers: For Hardware Verification,... From: $125.13 at 2 Stores	Generating Hardware Assertion Checkers: For Hardware Verification,... Assertion-based design is a powerful new paradigm that is facilitating quality improvement in electronic design. ... more Click to view Special Offers for this product.	From: $125.13 at 2 Stores

2 coupons available for this product Store: DeepDiscount.com Offer: Free Standard shipping on any order Code: no code required Expires: Aug 31, 2010 Click to use Restrictions: Store: Amazon Offer: FREE Shipping on orders over $25 Code: no code required Expires: Dec 31, 2010 Click to use Restrictions: Some restrictions apply. See site for details. rebate info Rebate Amount: () Expires: Download rebate form for Restrictions:


Verification, Model Checking, and Abstract Interpretation: 10th... From: $72.00 at 3 Stores	Verification, Model Checking, and Abstract Interpretation: 10th... The book constitutes the refereed proceedings of the 10th International Conference on Verification, Model Checking, and ... more Click to view Special Offers for this product.	From: $72.00 at 3 Stores

2 coupons available for this product Store: DeepDiscount.com Offer: Free Standard shipping on any order Code: no code required Expires: Aug 31, 2010 Click to use Restrictions: Store: Amazon Offer: FREE Shipping on orders over $25 Code: no code required Expires: Dec 31, 2010 Click to use Restrictions: Some restrictions apply. See site for details. rebate info Rebate Amount: () Expires: Download rebate form for Restrictions:

Systems and Software Verification: Model-Checking Techniques and Tools

Author: P. Schnoebelen, M. Bidoit, L. Petrucci - (Hardcover) ... more

Click to view Special Offers
for this product.

$59.46
at Amazon

1 coupon available for this product

Store: Amazon
Offer: FREE Shipping on orders over $25
Code: no code required
Expires: Dec 31, 2010
Click to use
Restrictions: Some restrictions apply. See site for details.

rebate info

Rebate Amount: ()
Expires:
Download rebate form for
Restrictions:

Selected reviews for this product:

Review from a shopper who 'Loved it'

From: Amazon Posted: Mar 16, 2006 Type: User Review

automated assurance of valid code

To be able to map a model onto the source code that implements it is a wonderful thing, as can be discerned from Berard's book. Because once this done, and he offers copious suggestions to this effect, then you can programmatically validate (ie....
read full review | report as inappropriate

4.00/5

See more reviews

Channel Directory: Science Fiction | Comic Books | Cookbooks | Biographies | Children's Books

How to Find Deals on pc checkers at Smarter.com: If you love to read and love to buy the latest Computer Science Books books you will love discovering bargain price at Smarter.com. Click on the video icon to watch video reviews on the books you are interesting in purchasing. Find special offers & coupon codes for book stores by clicking on the coupon icon. Sign up for Smarter M.E. to get price alerts on your favorite Computer Science Books. Click on "Your Account" at the top right of any page to sign up.