Showing 1 - 16 of 16 Results
1.
Applied Semantics Advanced Lectures by Barthe, Gilles, Dybjer, P.,... ISBN: 9783540440444 List Price: $82.95
2.
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
3.
Security and Trust Management : 6th International Workshop, STM 2010, Athens, Greece, Septem... by Cuellar, Jorge, Lopez, Javi... ISBN: 9783642224430 List Price: $72.00
4.
Formal Aspects of Security and Trust : 8th International Workshop, FAST 2011, Leuven, Belgiu... by Barthe, Gilles, Datta, Anup... ISBN: 9783642294198 List Price: $72.00
5.
Foundations of Security Analysis and Design V: FOSAD 2008/2009 Tutorial Lectures (Lecture No... by Aldini, Alessandro, Barthe,... ISBN: 9783642038280 List Price: $69.95
7.
Trustworthy Global Computing by Barthe, Gilles ISBN: 9783540786627 List Price: $79.95
8.
Verification, Model Checking, and Abstract Interpretation: 11th International Conference, VM... by Barthe, Gilles, Hermenegild... ISBN: 9783642113185 List Price: $95.00
9.
Construction And Analysis of Safe, Secure, And Interoperable Smart Devices International Wor... by Barthe, Gilles, Burdy, Lili... ISBN: 9783540242871 List Price: $58.00
10.
Construction And Analysis of Safe, Secure, And Interoperable Smart Devices Second Internatio... by Barthe, Gilles, Gregoire, B... ISBN: 9783540336891 List Price: $58.00
11.
Engineering Secure Software and Systems : 4th International Symposium, ESSoS 2012, Eindhoven... by Barthe, Gilles, Livshits, B... ISBN: 9783642281655 List Price: $72.00
12.
Software Engineering and Formal Methods : 9th International Conference, SEFM 2011, Montevide... by Barthe, Gilles, Pardo, Albe... ISBN: 9783642246890 List Price: $107.00
13.
Foundations of Probabilistic Programming by Barthe, Gilles, Katoen, Joo... ISBN: 9781108488518
14.
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
15.
Security and Trust Management: 12th International Workshop, STM 2016, Heraklion, Crete, Gree... by Barthe, Gilles, Markatos, E... ISBN: 9783319465975 List Price: $72.00
16.
Applied Semantics : International Summer School, Appsem 2000, Caminha, Portugal, September 9... by Barthe, Gilles, Dybjer, Pet... ISBN: 9783662188613 List Price: $24.99