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 "vitti alessandro"?

Software Engineering and Formal Methods

by Cimatti, Alessandro; Sirjani, Marjan

ISBN13: 9783319661964

ISBN10: 3319661965

Format: Paperback
List Price: ~~$84.99~~ Save up to $84.99
- Digital
  
  See Prices
- Marketplace
  
  See Prices
Software Engineering and Formal Methods

by Alessandro Cimatti

ISBN13: 9783319661971

ISBN10: 3319661973

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

We're Sorry.
No Options Available at This Time.
Formal Methods for Hardware Verification : 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advances Lectures

by Bernardo, Marco; Cimatti, Alessandro

ISBN13: 9783540343042

ISBN10: 3540343040

Format: Paperback
List Price: ~~$99.00~~ Save up to $99.00
- Digital
  
  See Prices
- Marketplace
  
  See Prices
Theory and Applications of Satisfiability Testing -- Sat 2012

by Cimatti, Alessandro; Sebastiani, Roberto

ISBN13: 9783642316111

ISBN10: 3642316115

Format: Paperback
List Price: ~~$107.00~~ Save up to $107.00
- Digital
  
  See Prices
- Marketplace
  
  See Prices

<< Previous
1
Next >>