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
$26.99 (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
$64.90 (Save 9%)
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.
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
$51.31 (Save 52%)
7.
Trustworthy Global Computing
Trustworthy Global Computing by Barthe, Gilles ISBN: 9783540786627 List Price: $79.95
$29.28 (Save 63%)
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.
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%)
10.
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%)
11.
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
$51.31 (Save 28%)
12.
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
$51.31 (Save 52%)
13.
Foundations of Probabilistic Programming
Foundations of Probabilistic Programming by Barthe, Gilles, Katoen, Joo... ISBN: 9781108488518
$64.85
14.
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
15.
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%)
16.
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