CartSellback ListOrder LookupSupport
ValoreBooks logo
Cancel
Showing 1 - 16 of 16 Results
1.
Applied Semantics Advanced Lectures
Applied Semantics Advanced Lectures by Barthe, Gilles, Dybjer, P.,... ISBN: 9783540440444 List Price: $82.95
$52.33 (Save 36%)
2.
Formal Methods for Open Object-Based Distributed Systems: 10th Ifip Wg 6.1 International Con...
Formal Methods for Open Object-Based Distributed Systems: 10th Ifip Wg 6.1 International Con... by Barthe, Gilles, Barthe, Gil... ISBN: 9783540688624 List Price: $99.00
$27.06 (Save 72%)
3.
Security and Trust Management : 6th International Workshop, STM 2010, Athens, Greece, Septem...
Security and Trust Management : 6th International Workshop, STM 2010, Athens, Greece, Septem... by Cuellar, Jorge, Lopez, Javi... ISBN: 9783642224430 List Price: $72.00
$64.90 (Save 9%)
4.
Formal Aspects of Security and Trust : 8th International Workshop, FAST 2011, Leuven, Belgiu...
Formal Aspects of Security and Trust : 8th International Workshop, FAST 2011, Leuven, Belgiu... by Barthe, Gilles, Datta, Anup... ISBN: 9783642294198 List Price: $72.00

OUT OF STOCK

See Availability on Amazon
5.
Foundations of Security Analysis and Design V: FOSAD 2008/2009 Tutorial Lectures (Lecture No...
Foundations of Security Analysis and Design V: FOSAD 2008/2009 Tutorial Lectures (Lecture No... by Aldini, Alessandro, Barthe,... ISBN: 9783642038280 List Price: $69.95
$46.78 (Save 33%)
6.
Software Engineering and Formal Methods : 9th International Conference, SEFM 2011, Montevide...
Software Engineering and Formal Methods : 9th International Conference, SEFM 2011, Montevide... by Barthe, Gilles, Pardo, Albe... ISBN: 9783642246890 List Price: $107.00

OUT OF STOCK

See Availability on Amazon
7.
Engineering Secure Software and Systems : 4th International Symposium, ESSoS 2012, Eindhoven...
Engineering Secure Software and Systems : 4th International Symposium, ESSoS 2012, Eindhoven... by Barthe, Gilles, Livshits, B... ISBN: 9783642281655 List Price: $72.00

OUT OF STOCK

See Availability on Amazon
8.
Verification, Model Checking, and Abstract Interpretation: 11th International Conference, VM...
Verification, Model Checking, and Abstract Interpretation: 11th International Conference, VM... by Barthe, Gilles, Hermenegild... ISBN: 9783642113185 List Price: $95.00
$51.31 (Save 45%)
9.
Programming Languages and Systems: 20th European Symposium on Programming, ESOP 2011, Held a...
Programming Languages and Systems: 20th European Symposium on Programming, ESOP 2011, Held a... by Barthe, Gilles ISBN: 9783642197178 List Price: $107.00

OUT OF STOCK

See Availability on Amazon
10.
Construction And Analysis of Safe, Secure, And Interoperable Smart Devices International Wor...
Construction And Analysis of Safe, Secure, And Interoperable Smart Devices International Wor... by Barthe, Gilles, Burdy, Lili... ISBN: 9783540242871 List Price: $58.00
$52.33 (Save 9%)
11.
Construction And Analysis of Safe, Secure, And Interoperable Smart Devices Second Internatio...
Construction And Analysis of Safe, Secure, And Interoperable Smart Devices Second Internatio... by Barthe, Gilles, Gregoire, B... ISBN: 9783540336891 List Price: $58.00
$52.33 (Save 9%)
12.
Trustworthy Global Computing
Trustworthy Global Computing by Barthe, Gilles ISBN: 9783540786627 List Price: $79.95
$29.32 (Save 63%)
13.
Applied Semantics : International Summer School, Appsem 2000, Caminha, Portugal, September 9...
Applied Semantics : International Summer School, Appsem 2000, Caminha, Portugal, September 9... by Barthe, Gilles, Dybjer, Pet... ISBN: 9783662188613 List Price: $24.99

OUT OF STOCK

See Availability on Amazon
14.
Security and Trust Management: 12th International Workshop, STM 2016, Heraklion, Crete, Gree...
Security and Trust Management: 12th International Workshop, STM 2016, Heraklion, Crete, Gree... by Barthe, Gilles, Markatos, E... ISBN: 9783319465975 List Price: $72.00
$51.31 (Save 28%)
15.
Nouveau Theatre Fran�ois, Ou Recueil des Plus Nouvelles Pieces : Represent�es Au Theatre Fra...
Nouveau Theatre Fran�ois, Ou Recueil des Plus Nouvelles Pieces : Represent�es Au Theatre Fra... by Morand, Pierre De, Barth�le... ISBN: 9781273106507 List Price: $39.75

OUT OF STOCK

See Availability on Amazon
16.
Foundations of Probabilistic Programming
Foundations of Probabilistic Programming by Barthe, Gilles, Katoen, Joo... ISBN: 9781108488518
$64.85