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 - 8 of 8

Sort by

Did you mean "ofer fridman"?

Decision Procedures

by Kroening, Daniel; Strichman, Ofer

ISBN13: 9783662504963

ISBN10: 3662504960

Edition: 2nd

Format: Hardcover
List Price: ~~$79.99~~ Save up to $79.99
- Digital
  
  See Prices
- Marketplace
  
  See Prices
Hardware and Software

by Strichman, Ofer; Tzoref-brill, Rachel

ISBN13: 9783319703886

ISBN10: 3319703889

Format: Paperback
List Price: ~~$69.99~~ Save up to $69.99
- Digital
  
  See Prices
- Marketplace
  
  See Prices
Decision Procedures

by Kroening, Daniel; Strichman, Ofer

ISBN13: 9783662570654

ISBN10: 3662570653

Edition: 2nd

Format: Paperback
List Price: ~~$79.99~~ Save up to $79.99
- Marketplace
  
  See Prices
Decision Procedures

by Daniel Kroening; Ofer Strichman

ISBN13: 9783662504970

ISBN10: 3662504979

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

We're Sorry.
No Options Available at This Time.
Hardware and Software: Verification and Testing

by Ofer Strichman

ISBN13: 9783319703893

ISBN10: 3319703897

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

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

by Kroening, Daniel; Strichman, Ofer; Bryant, Randal E.

ISBN13: 9783540741046

ISBN10: 3540741046

Format: Hardcover
List Price: ~~$74.99~~ Save up to $74.99
- Marketplace
  
  See Prices
Theory and Applications of Satisfiability Testing-SAT 2010

by Strichman, Ofer; Szeider, Stefan

ISBN13: 9783642141850

ISBN10: 3642141854

Format: Paperback
List Price: ~~$129.00~~ Save up to $129.00
- Marketplace
  
  See Prices
Decision Procedures

by Kroening, Daniel; Strichman, Ofer; Bryant, R. E.

ISBN13: 9783642093449

ISBN10: 3642093442

Format: Paperback
List Price: ~~$69.95~~

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

<< Previous
1
Next >>