14 Ebooks by Gilles Barthe
Gilles Barthe & Manuel Hermenegildo: Verification, Model Checking, and Abstract Interpretation
This volume contains the proceedings of the 11th International Conference on Veri?cation, Model Checking, and Abstract Interpretation (VMCAI 2010), held in Madrid, Spain, January 17–19, 2010. VMCAI …
PDF
English
DRM
€95.19
Jorge Cuellar & Javier Lopez: Security and Trust Management
This book constitutes the thoroughly refereed post-conference proceedings of the 6th International Workshop on Security and Trust Management, STM 2010, held in Athens, Greece, in September 2010. The …
PDF
English
DRM
€51.16
Gilles Barthe & Alberto Pardo: Software Engineering and Formal Methods
This book constitutes the refereed proceedings of the 9th International Conference on Software Engineering and Formal Methods, SEFM 2011, held in Montevideo, Uruguay, in November 2011. The 22 revised …
PDF
English
DRM
€83.29
Gilles Barthe & Evangelos Markatos: Security and Trust Management
This book constitutes the refereed proceedings of the 12th International Workshop on Security and Trust Management, STM 2016, held in Heraklion, Crete, Greece, in September 2016, in conjunction with …
PDF
English
DRM
€56.32
Gilles Barthe & Peter Dybjer: Applied Semantics
This book is based on material presented at the international summer school on Applied Semantics that took place in Caminha, Portugal, in September 2000. We aim to present some recent developments in …
PDF
English
DRM
€55.88
Gilles Barthe: Formal Methods for Open Object-Based Distributed Systems
This book constitutes the refereed proceedings of the 10th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2008, held in Oslo, Norway, in June …
PDF
English
DRM
€56.32
Alessandro Aldini & Gilles Barthe: Foundations of Security Analysis and Design V
FOSAD has been one of the foremost educational events established with the goal of disseminating knowledge in the critical area of security in computer systems and networks. Offering a good spectrum …
PDF
English
DRM
€50.02
Gilles Barthe: Programming Languages and Systems
This book constitutes the refereed proceedings of the 20th European Symposium on Programming, ESOP 2011, held in Saarbrucken, Germany, March 30-April 1, 2011, as part of ETAPS 2011, the European …
PDF
English
DRM
€56.20
Gilles Barthe & Ben Livshits: Engineering Secure Software and Systems
This book constitutes the refereed proceedings of the 4th International Symposium on Engineering Secure Software and Systems, ESSo S 2012, held in Eindhoven, The Netherlands, in February 2012. The 7 …
PDF
English
DRM
€56.39
Gilles Barthe & Anupam Datta: Formal Aspects of Security and Trust
This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Workshop on Formal Aspects of Security and Trust, FAST 2011, held in conjunction with the 16th …
PDF
English
DRM
€56.28
Gilles Barthe & Joost-Pieter Katoen: Foundations of Probabilistic Programming
…
PDF
English
DRM
€66.29
