Rent Textbooks | Buy Textbooks | Sell Textbooks | eCampus.com | Textbooks - Easy. Fast. Cheap!

#marketplace, .navbar, .container, .container-fluid, #media, #category, #ewards, #careers, .blueHeroSearchContainer, #photoHeroBanner, #etextbooks-page-2015, .slider-arrow, #books-page-2015, #my-account-wrapper-2015 {display:none;} .noscriptmsg p, .noscriptmsg h1 {color: #000;} body {background-color: #ccc !important; font-size: 14px; }

We're sorry, but eCampus.com doesn't work properly without JavaScript.

Either your device does not support JavaScript or you do not have JavaScript enabled.

How to enable JavaScript in your browser.

Need help? Call 1-855-252-4222

did-you-know?

rent-now

Rent More, Save More! Use code: ECRENTAL

did-you-know?

rent-now

Rent More, Save More! Use code: ECRENTAL

5% off 1 book, 7% off 2 books, 10% off 3+ books

Showing 1 - 4 of 4

Sort by

Did you mean "budnik viktor"?

Computer Aided Verification

by Majumdar, Rupak; Kuncak, Viktor

ISBN13: 9783319633862

ISBN10: 3319633864

Format: Paperback
List Price: ~~$109.99~~ Save up to $109.99
- Digital
  
  See Prices
- Marketplace
  
  See Prices
Computer Aided Verification

by Majumdar, Rupak; Kuncak, Viktor

ISBN13: 9783319633893

ISBN10: 3319633899

Format: Paperback
List Price: ~~$109.99~~ Save up to $109.99
- Digital
  
  See Prices
- Marketplace
  
  See Prices
Verification, Model Checking, and Abstract Interpretation

by Kuncak, Viktor; Rybalchenko, Andrey

ISBN13: 9783642279393

ISBN10: 3642279392

Format: Paperback
List Price: ~~$99.00~~ Save up to $99.00
- Digital
  
  See Prices
- Marketplace
  
  See Prices
Verification, Model Checking, and Abstract Interpretation

by Viktor Kuncak; ?Andrey Rybalchenko

ISBN13: 9783642279409

ISBN10: 3642279406

Format: Nonspecific Binding
List Price: ~~$118.64~~

We're Sorry.
No Options Available at This Time.

<< Previous
1
Next >>