Gilles Barthe – författare
Visar alla böcker från författaren Gilles Barthe.
14 produkter
Foundations of Probabilistic Programming
Av Gilles Barthe, Joost-Pieter Katoen m. fl.
Inbunden, 2020
1139 kr
Lägg i varukorg
Security and Trust Management
12th International Workshop, STM 2016, Heraklion, Crete, Greece, September 26-27, 2016, Proceedings
Av Gilles Barthe, Evangelos Markatos m. fl.
Häftad, 2016
739 kr
Lägg i varukorg
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices
International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers
Av Gilles Barthe, Lilian Burdy m. fl.
Häftad, 2005
739 kr
Lägg i varukorg
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices
Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers
Av Gilles Barthe, Benjamin Gregoire m. fl.
Häftad, 2006
739 kr
Lägg i varukorg
Applied Semantics
International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000. Advanced Lectures
Av Gilles Barthe, Peter Dybjer m. fl.
Häftad, 2002
739 kr
Lägg i varukorg
Formal Methods for Open Object-Based Distributed Systems
10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings
Häftad, 2008
739 kr
Lägg i varukorg
Trustworthy Global Computing
Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers
Av Gilles Barthe, Cédric Fournet
Häftad, 2008
739 kr
Lägg i varukorg
Foundations of Security Analysis and Design V
FOSAD 2008/2009 Tutorial Lectures
Av Alessandro Aldini, Gilles Barthe m. fl.
Häftad, 2009
679 kr
Lägg i varukorg
Verification, Model Checking, and Abstract Interpretation
11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings
Av Gilles Barthe, Manuel Hermenegildo
Häftad, 2010
739 kr
Lägg i varukorg
Programming Languages and Systems
20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26--April 3, 2011, Proceedings
Häftad, 2011
739 kr
Lägg i varukorg
Security and Trust Management
6th International Workshop, STM 2010, Athens, Greece, September 23-24, 2010, Revised Selected Papers
Av Jorge Cuellar, Javier Lopez m. fl.
Häftad, 2011
739 kr
Lägg i varukorg
Software Engineering and Formal Methods
9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011, Proceedings
Av Gilles Barthe, Alberto Pardo m. fl.
Häftad, 2011
739 kr
Lägg i varukorg
Engineering Secure Software and Systems
4th International Symposium, ESSoS 2012, Eindhoven, The Netherlands, February, 16-17, 2012, Proceedings
Av Gilles Barthe, Ben Livshits m. fl.
Häftad, 2012
739 kr
Lägg i varukorg
Formal Aspects of Security and Trust
8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011. Revised Selected Papers
Av Gilles Barthe, Anupam Datta m. fl.
Häftad, 2012
739 kr
Lägg i varukorg