Results of search for 'au:"Gilles Barthe"'

Results
1.	Image from Amazon.com Image from Google Jackets	Construction and Analysis of Safe, Secure, and Interoperable Smart Devices by Gilles Barthe, Lilian Burdy, Marieke Huisman, Jean-Louis Lanet, Traian Muntean Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2005 Online resources: Click here to access online Availability: Items available for loan: Basaveshwar Engineering College,Bagalkote (1). Found in Open Library: Place hold Save to lists
2.	Image from Amazon.com Image from Google Jackets	Construction and Analysis of Safe, Secure, and Interoperable Smart Devices by Gilles Barthe, Benjamin Grégoire, Marieke Huisman, Jean-Louis Lanet Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2006 Online resources: Click here to access online Availability: Items available for loan: Basaveshwar Engineering College,Bagalkote (1). Found in Open Library: Place hold Save to lists
3.	Image from Amazon.com Image from Google Jackets	Formal Methods for Open Object-Based Distributed Systems by Gilles Barthe, Frank S. Boer Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2008 Online resources: Click here to access online Availability: Items available for loan: Basaveshwar Engineering College,Bagalkote (1). Found in Open Library: Place hold Save to lists
4.	Image from Amazon.com Image from Google Jackets	Trustworthy Global Computing by Gilles Barthe, Cédric Fournet Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2008 Online resources: Click here to access online Availability: Items available for loan: Basaveshwar Engineering College,Bagalkote (1). Found in Open Library: Place hold Save to lists
5.	Image from Amazon.com Image from Google Jackets	Foundations of Security Analysis and Design V by Alessandro Aldini, Gilles Barthe, Roberto Gorrieri Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2009 Online resources: Click here to access online Availability: Items available for loan: Basaveshwar Engineering College,Bagalkote (1). Found in Open Library: Place hold Save to lists
6.	Image from Amazon.com Image from Google Jackets	Verification, Model Checking, and Abstract Interpretation by Gilles Barthe, Manuel Hermenegildo Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2010 Online resources: Click here to access online Availability: Items available for loan: Basaveshwar Engineering College,Bagalkote (1). Found in Open Library: Place hold Save to lists
7.	Image from Amazon.com Image from Google Jackets	Programming Languages and Systems by Gilles Barthe Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2011 Online resources: Click here to access online Availability: Items available for loan: Basaveshwar Engineering College,Bagalkote (1). Found in Open Library: Place hold Save to lists
8.	Image from Amazon.com Image from Google Jackets	Security and Trust Management by Jorge Cuellar, Javier Lopez, Gilles Barthe, Alexander Pretschner Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2011 Online resources: Click here to access online Availability: Items available for loan: Basaveshwar Engineering College,Bagalkote (1). Found in Open Library: Place hold Save to lists
9.	Image from Amazon.com Image from Google Jackets	Software Engineering and Formal Methods by Gilles Barthe, Alberto Pardo, Gerardo Schneider Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2011 Online resources: Click here to access online Availability: Items available for loan: Basaveshwar Engineering College,Bagalkote (1). Found in Open Library: Place hold Save to lists
10.	Image from Amazon.com Image from Google Jackets	Engineering Secure Software and Systems by Gilles Barthe, Benjamin Livshits, Riccardo Scandariato Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2012 Online resources: Click here to access online Availability: Items available for loan: Basaveshwar Engineering College,Bagalkote (1). Found in Open Library: Place hold Save to lists
11.	Image from Amazon.com Image from Google Jackets	Formal Aspects of Security and Trust by Gilles Barthe, Anupam Datta, Sandro Etalle Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2012 Online resources: Click here to access online Availability: Items available for loan: Basaveshwar Engineering College,Bagalkote (1). Found in Open Library: Place hold Save to lists