The No1 Ethical retailer for Books, CD’s, DVD’s & Games
30 Day Refund Guarantee

Buy Used and New Gilles Barthe Books

Results for Gilles Barthe

Showing 1 to 8 of 8 results
Foundations of Security Analysis and Design V: FOSAD 2008/2009 Tutorial Lectures: FOSAD 2007/2008/2009 Tutorial Lectures (Lecture Notes in Computer Science / Security and Cryptology) Foundations of Security Analysis and Design V: FOSAD 2008/2009 Tutorial Lectures: FOSAD 2007/2008/2009 Tutorial Lectures (Lecture Notes in Computer Science / Security and Cryptology) by Alessandro Aldini, Gilles Barthe, Roberto Gorrieri

Foundations of Security Analysis and Design V: FOSAD 2008/2009 Tutorial Lectures: FOSAD 2007/2008/2009 Tutorial Lectures (Lecture Notes in Computer Science / Security and Cryptology)

by Alessandro Aldini, Gilles Barthe, Roberto Gorrieri


ISBN 13: 9783642038280

Format: Paperback (339 pages)
Publisher: Springer
Published: 17 Aug 2009

Save for later

 
New : $50.36  
New : $50.36
Verification, Model Checking, and Abstract Interpretation: 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings ... Computer Science and General Issues) Verification, Model Checking, and Abstract Interpretation: 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings ... Computer Science and General Issues) by

Verification, Model Checking, and Abstract Interpretation: 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings ... Computer Science and General Issues)

by


ISBN 13: 9783642113185

Format: Paperback (397 pages)
Publisher: Springer
Published: 08 Jan 2010

Save for later

 
New : $56.19  
New : $56.19
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: Second International Workshop, CASSIS 2005, Nice, France, March 8-11, ... Computer Science / Security and Cryptology) Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: Second International Workshop, CASSIS 2005, Nice, France, March 8-11, ... Computer Science / Security and Cryptology) by

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: Second International Workshop, CASSIS 2005, Nice, France, March 8-11, ... Computer Science / Security and Cryptology)

by


ISBN 13: 9783540336891

Format: Paperback (184 pages)
Publisher: Springer
Published: 18 Apr 2006

Save for later

 
New : $56.08  
New : $56.08
Formal Methods for Open Object-Based Distributed Systems: 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 ... / Programming and Software Engineering) Formal Methods for Open Object-Based Distributed Systems: 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 ... / Programming and Software Engineering) by

Formal Methods for Open Object-Based Distributed Systems: 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 ... / Programming and Software Engineering)

by


ISBN 13: 9783540688624

Format: Paperback (259 pages)
Publisher: Springer
Published: 29 May 2008

Save for later

 
New : $56.16  
New : $56.16
Trustworthy Global Computing: Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers (Lecture Notes in ... Computer Science and General Issues) Trustworthy Global Computing: Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers (Lecture Notes in ... Computer Science and General Issues) by

Trustworthy Global Computing: Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers (Lecture Notes in ... Computer Science and General Issues)

by


ISBN 13: 9783540786627

Format: Paperback (401 pages)
Publisher: Springer
Published: 18 Mar 2008

Save for later

 
New : $56.27  
New : $56.27
Security and Trust Management: 6th International Workshop, STM 2010, Athens, Greece, September 23-24, 2010, Revised Selected Papers (Lecture Notes in Computer Science / Security and Cryptology) Security and Trust Management: 6th International Workshop, STM 2010, Athens, Greece, September 23-24, 2010, Revised Selected Papers (Lecture Notes in Computer Science / Security and Cryptology) by

Security and Trust Management: 6th International Workshop, STM 2010, Athens, Greece, September 23-24, 2010, Revised Selected Papers (Lecture Notes in Computer Science / Security and Cryptology)

by


ISBN 13: 9783642224430

Format: Paperback (271 pages)
Publisher: Springer
Published: 23 Sep 2011

Save for later

 
New : $56.15  
New : $56.15
Applied Semantics: International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000. Advanced Lectures (Lecture Notes in Computer Science) Applied Semantics: International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000. Advanced Lectures (Lecture Notes in Computer Science) by Gilles Barthe, Peter Dybjer, Luis Pinto, João Saraiva

Applied Semantics: International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000. Advanced Lectures (Lecture Notes in Computer Science)

by Gilles Barthe, Peter Dybjer, Luis Pinto, João Saraiva


ISBN 13: 9783540440444

Format: Paperback (538 pages)
Publisher: Springer
Published: 21 Aug 2002

Save for later

 
New : $56.41  
New : $56.41
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, ... Papers (Lecture Notes in Computer Science) Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, ... Papers (Lecture Notes in Computer Science) by Traian Muntean, Gilles Barthe, Jean-Louis Lanet, Lilian Burdy, Marieke Huisman

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, ... Papers (Lecture Notes in Computer Science)

by Traian Muntean, Gilles Barthe, Jean-Louis Lanet, Lilian Burdy, Marieke Huisman


ISBN 13: 9783540242871

Format: Paperback (272 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later

 
New : $56.16  
New : $56.16