Raamatud Gilles Barthe
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers
Gilles Barthe, Benjamin Gregoire, Marieke Huisman, Jean-Luis Lanet
-25% koodiga BOOKS
Meie tarnija laos
Foundations of Security Analysis and Design V FOSAD 2008/2009 Tutorial Lectures
Alessandro Aldini, Gilles Barthe, Roberto Gorrieri
-25% koodiga BOOKS
Meie tarnija laos
Verification, Model Checking, and Abstract Interpretation 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings
-25% koodiga BOOKS
Meie tarnija laos
Security and Trust Management 6th International Workshop, STM 2010, Athens, Greece, September 23-24, 2010, Revised Selected Papers
Jorge Cuellar, Javier Lopez, Gilles Barthe, Alexander Pretschner
-25% koodiga BOOKS
Meie tarnija laos
Engineering Secure Software and Systems 4th International Symposium, ESSoS 2012, Eindhoven, The Netherlands, February, 16-17, 2012, Proceedings
Gilles Barthe, Ben Livshits, Riccardo Scandariato
-25% koodiga BOOKS
Meie tarnija laos
Formal Aspects of Security and Trust 8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011. Revised Selected Papers
Gilles Barthe, Anupam Datta, Sandro Etalle
-25% koodiga BOOKS
Meie tarnija laos