Rent Textbooks | Buy Textbooks | Sell Textbooks | eCampus.com

Showing 1 - 5 of 5

Sort by

Did you mean "busoni ferruccio"?

Types for Proofs and Programs: International Conference, Types 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers

by Berardi, Stefano; Damiani, Ferruccio; Liguoro, Ugo De

ISBN13: 9783642024436

ISBN10: 3642024432

Format: Paperback
List Price: ~~$99.00~~ Save up to $99.00
- Digital
  
  See Prices
- Marketplace
  
  See Prices
Formal Methods for Components and Objects: 10th International Symposium, Fmco 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers

by Beckert, Bernhard; Damiani, Ferruccio; De Boer, Frank S.; et al.

ISBN13: 9783642358869

ISBN10: 3642358861

Format: Paperback
List Price: ~~$83.00~~ Save up to $83.00
- Digital
  
  See Prices
- Marketplace
  
  See Prices
Formal Verification of Object-oriented Software

by Beckert, Bernhard; Damiani, Ferruccio; Gurov, Dilian

ISBN13: 9783642317613

ISBN10: 3642317618

Edition: Revised

Format: Paperback
List Price: ~~$54.99~~ Save up to $54.99
- Digital
  
  See Prices
- Marketplace
  
  See Prices
Formal Methods for Executable Software Models

by Bernardo, Marco; Damiani, Ferruccio; Haehnle, Reiner; et al.

ISBN13: 9783319073163

ISBN10: 3319073168

Format: Paperback
List Price: ~~$89.99~~ Save up to $89.99
- Digital
  
  See Prices
- Marketplace
  
  See Prices
Types for Proofs and Programs

by Stefano Berardi; ?Ferruccio Damiani; ?Ugo de Liguoro

ISBN13: 9783642024443

ISBN10: 3642024440

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

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

<< Previous
1
Next >>

Rent More, Save More! Use code: ECRENTAL

Rent More, Save More! Use code: ECRENTAL

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

Types for Proofs and Programs: International Conference, Types 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers

Formal Methods for Components and Objects: 10th International Symposium, Fmco 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers

Formal Verification of Object-oriented Software

Formal Methods for Executable Software Models

Types for Proofs and Programs