Buy books written by Gilles Barthe Available at Bookswagon
Logo1
Login & Sign up
AddBanner
Home icon Home
Account Icon Account
Wishlist Icon Wishlist
Cart Icon Cart
humburger icon Categories
Close

Refine your Search

Availability

Shipping Time

Source

Binding

Language

Publication Year

Filter By Category
Gilles Barthe

Gilles BartheGilles Barthe is Scientific Director at the Max Planck Institute for Security and Privacy and Research Professor at the IMDEA Software Institute, Madrid. His recent research develops programming language techniques and verification methods for probablistic languages, with a focus on cryptographic and differentially private computations. Read More Read Less

22 results found
List viewGrid view
Sort By:
1.
Foundations of Probabilistic Programming
Foundations of Probabilistic Programming
By: Joost-Pieter Katoen, Gilles Barthe, Alexandra Silva
Publisher: Cambridge University Press
No Review Yet
AED249
Binding:
Hardback
Release:
03 Dec 2020
Language:
English
Available
Ships within 8-10 Days Explain..
2.
Engineering Secure Software and Systems
Engineering Secure Software and Systems
By: Gilles Barthe, Riccardo Scandariato, Ben Livshits
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
AED253
Binding:
Paperback
Release:
30 Jan 2012
Language:
English
International Edition
Ships within 12-14 Days Explain..
3.
Software Engineering and Formal Methods
Software Engineering and Formal Methods
By: Gilles Barthe, Alberto Pardo, Gerardo Schneider
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
AED262
Binding:
Paperback
Release:
21 Oct 2011
Language:
English
International Edition
Ships within 12-14 Days Explain..
4.
Programming Languages and Systems
Programming Languages and Systems
By: Gilles Barthe
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
AED262
Binding:
Paperback
Release:
22 Mar 2011
Language:
English
International Edition
Ships within 12-14 Days Explain..
5.
Verification, Model Checking, and Abstract Interpretation
Verification, Model Checking, and Abstract Interpretation
By: Gilles Barthe, Manuel Hermenegildo
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
AED179
Binding:
Paperback
Release:
08 Jan 2010
Language:
English
Available
Ships within 12-14 Days Explain..
6.
Trustworthy Global Computing
Trustworthy Global Computing
By: Gilles Barthe, Cédric Fournet
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
AED159
Binding:
Paperback
Release:
18 Mar 2008
Language:
English
Available
Ships within 10-12 Days Explain..
7.
Foundations of Security Analysis and Design V
Foundations of Security Analysis and Design V
By: Gilles Barthe, Roberto Gorrieri, Alessandro Aldini
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
AED233
Binding:
Paperback
Release:
17 Aug 2009
Language:
English
Available
Ships within 14-16 Days Explain..
8.
Security and Trust Management
Security and Trust Management
By: Gilles Barthe, Javier Lopez, Jorge Cuellar, Alexander Pretschner
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
AED281
Binding:
Paperback
Release:
23 Sep 2011
Language:
English
International Edition
Ships within 18-20 Days Explain..
9.
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices
By: Gilles Barthe, Lilian Burdy, Marieke Huisman, Jean-Louis Lanet, Traian Muntean
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
AED253
Binding:
Paperback
Release:
21 Jan 2005
Language:
English
Available
Ships within 14-16 Days Explain..
10.
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices
By: Gilles Barthe, Marieke Huisman, Benjamin Gregoire, Jean-Luis Lanet
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
AED253
Binding:
Paperback
Release:
18 Apr 2006
Language:
English
Available
Ships within 14-16 Days Explain..
11.
Formal Methods for Open Object-Based Distributed Systems
Formal Methods for Open Object-Based Distributed Systems
By: Gilles Barthe
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
AED84
Binding:
Paperback
Release:
29 May 2008
Language:
English
Available
Ships within 10-12 Days Explain..
12.
Formal Aspects of Security and Trust
Formal Aspects of Security and Trust
By: Sandro Etalle, Gilles Barthe, Anupam Datta
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
AED323
Binding:
Paperback
Release:
04 May 2012
Language:
English
International Edition
Ships within 12-14 Days Explain..
13.
Applied Semantics
Applied Semantics
By: Peter Dybjer, Gilles Barthe, Luis Pinto, João Saraiva
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
AED184
Binding:
Paperback
Release:
21 Aug 2002
Language:
English
Available
Ships within 12-14 Days Explain..
14.
Security and Trust Management
Security and Trust Management
By: Pierangela Samarati, Gilles Barthe, Evangelos Markatos
Publisher: Springer International Publishing AG
No Review Yet
AED253
Binding:
Paperback
Release:
17 Sep 2016
Language:
English
Available
Ships within 14-16 Days Explain..
15.
Formal Methods for Open Object-Based Distributed Systems
Formal Methods for Open Object-Based Distributed Systems
By: Gilles Barthe, Frank S de Boer
Publisher: Springer
No Review Yet
AED85
Binding:
Paperback
Release:
04 Sep 2008
Out of Stock
Notify me when this book is in stockNotify Me
16.
Applied Semantics
Applied Semantics
By: Gilles Barthe, Peter Dybjer, Luis Pinto
Publisher: Springer
No Review Yet
AED105
Binding:
Paperback
Release:
11 Sep 2014
Out of Stock
Notify me when this book is in stockNotify Me
17.
Trustworthy Global Computing
Trustworthy Global Computing
By: Gilles Barthe, C Dric Fournet
Publisher: Springer
No Review Yet
AED32
Binding:
Paperback
Release:
04 Sep 2008
Out of Stock
Notify me when this book is in stockNotify Me
18.
Foundations of Security Analysis and Design V
Foundations of Security Analysis and Design V
By: Gilles Barthe, Roberto Gorrieri, Alessandro Aldini
Publisher: Springer
No Review Yet
AED55
Binding:
Paperback
Release:
17 Apr 2010
Out of Stock
Notify me when this book is in stockNotify Me
19.
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices
By: Gilles Barthe, Marieke Huisman, Benjamin Gregoire
Publisher: Springer
No Review Yet
AED105
Binding:
Paperback
Release:
26 Aug 2008
Out of Stock
Notify me when this book is in stockNotify Me
20.
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices
By: Gilles Barthe
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
AED239
Binding:
Digital (delivered electronically)
Release:
/12/2005
Out of Stock
Notify me when this book is in stockNotify Me
loadingLoading more results