Barthe, Gilles books & textbook
Formal Methods for Open Object-Based Distributed Systems: 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings (Lecture Notes in Computer Science, 5051)
Springer /2008-05-29 Paperback / 269 Pages
isbn-10: 3540688625 / isbn-13: 9783540688624
Trustworthy Global Computing: Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers (Lecture Notes in Computer Science, 4912)
Barthe, Gilles Fournet, Cédric
Springer /2008-03-18 Paperback / 412 Pages
isbn-10: 3540786627 / isbn-13: 9783540786627
Security and Trust Management: 6th International Workshop, STM 2010, Athens, Greece, September 23-24, 2010, Revised Selected Papers (Lecture Notes in Computer Science, 6710)
Cuellar, Jorge Lopez, Javier Barthe, Gilles Pretschner, Alexander
Springer /2011-09-23 Paperback / 281 Pages
isbn-10: 3642224431 / isbn-13: 9783642224430
Foundations of Security Analysis and Design V: FOSAD 2008/2009 Tutorial Lectures (Lecture Notes in Computer Science, 5705)
Aldini, Alessandro Barthe, Gilles Gorrieri, Roberto
Springer /2009-08-17 Paperback / 347 Pages
isbn-10: 364203828X / isbn-13: 9783642038280
Engineering Secure Software and Systems: 4th International Symposium, ESSoS 2012, Eindhoven, The Netherlands, February, 16-17, 2012, Proceedings (Lecture Notes in Computer Science) (2012-03-11)
Springer; 2012 edition (2012-03-11) / Paperback
[(Engineering Secure Software and Systems )] [Author: Gilles Barthe] [Mar-2012]
Springer-Verlag Berlin and Heidelberg GmbH & Co. K /2012-03-11 Paperback
Por Amor
SCORTECCI / Paperback
isbn-10: 8536642408 / isbn-13: 9788536642406
Software Engineering and Formal Methods: 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011, Proceedings (Lecture Notes in Computer Science, 7041)
Barthe, Gilles Pardo, Alberto Schneider, Gerardo
Springer /2011-10-21 Paperback / 518 Pages
isbn-10: 3642246893 / isbn-13: 9783642246890
Programming Languages and Systems: 20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conference on Theory and ... (Lecture Notes in Computer Science, 6602)
Springer /2011-03-22 Paperback / 515 Pages
isbn-10: 3642197175 / isbn-13: 9783642197178
Verification, Model Checking, and Abstract Interpretation: 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings (Theoretical Computer Science and General Issues)
Barthe, Gilles Hermenegildo, Manuel
Springer /2010-01-08 Paperback / 408 Pages
isbn-10: 3642113184 / isbn-13: 9783642113185
