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

Showing 1 - 10 of 18

Sort by

Security and Trust Management

by Barthe, Gilles; Markatos, Evangelos; Samarati, Pierangela

ISBN13: 9783319465975

ISBN10: 331946597X

Format: Paperback
List Price: ~~$69.99~~ Save up to $69.99
- Digital
  
  See Prices
- Marketplace
  
  See Prices
Foundations of Probabilistic Programming

by Gilles Barthe; JoostPieter Katoen; Alexandra Silva

ISBN13: 9781108488518

ISBN10: 110848851X

Format: Nonspecific Binding
List Price: ~~$69.32~~ Save up to $69.32
- Digital
  
  See Prices
- Marketplace
  
  See Prices
Security and Trust Management

by Gilles Barthe

ISBN13: 9783319465982

ISBN10: 3319465988

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

We're Sorry.
No Options Available at This Time.
Applied Semantics: Advanced Lectures

by Appsem 200 (2000 Caminha, Potrugal); Barthe, Gilles; Barthe, Gilles

ISBN13: 9783540440444

ISBN10: 3540440445

Format: Paperback
List Price: ~~$139.00~~ Save up to $139.00
- Digital
  
  See Prices
- Marketplace
  
  See Prices
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices : Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers

by Barthe, Gilles; Gregoire, Benjamin; Huisman, Marieke; et al.

ISBN13: 9783540336891

ISBN10: 3540336893

Format: Paperback
List Price: ~~$89.99~~ Save up to $89.99
- Digital
  
  See Prices
- Marketplace
  
  See Prices
Trustworthy Global Computing: Third Symposium, Tgc 2007, Sophia-antipolis, France, November 5-6, 2007, Revised Selected Papers

by Barthe, Gilles; Fournet, Cedric

ISBN13: 9783540786627

ISBN10: 3540786627

Format: Paperback
List Price: ~~$119.00~~ Save up to $119.00
- Marketplace
  
  See Prices
Formal Methods for Open Object-Based Distributed Systems : 10th IFIP WG 6. 1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings

by Barthe, Gilles; De Boer, Frank S.

ISBN13: 9783540688624

ISBN10: 3540688625

Format: Paperback
List Price: ~~$99.00~~ Save up to $99.00
- Marketplace
  
  See Prices
Foundations of Security Analysis and Design V

by Aldini, Alessandro; Barthe, Gilles; Gorrieri, Roberto

ISBN13: 9783642038280

ISBN10: 364203828X

Edition: 1st

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

by Barthe, Gilles; Hermenegildo, Manuel

ISBN13: 9783642113185

ISBN10: 3642113184

Format: Paperback
List Price: ~~$129.00~~ Save up to $129.00
- Digital
  
  See Prices
- Marketplace
  
  See Prices
Programming Languages and Systems: 20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarb

by Barthe, Gilles

ISBN13: 9783642197178

ISBN10: 3642197175

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

<< Previous
1
2
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

Security and Trust Management

Foundations of Probabilistic Programming

Security and Trust Management

Applied Semantics: Advanced Lectures

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices : Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers

Trustworthy Global Computing: Third Symposium, Tgc 2007, Sophia-antipolis, France, November 5-6, 2007, Revised Selected Papers

Formal Methods for Open Object-Based Distributed Systems : 10th IFIP WG 6. 1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings

Foundations of Security Analysis and Design V

Verification, Model Checking, and Abstract Interpretation

Programming Languages and Systems: 20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarb