Buy Used and New Gilles Barthe Books

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,Luís Pinto,João Saraiva

ISBN 13: 9783540440444

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

Save for later

Security and Trust Management: 12th International Workshop, STM 2016, Heraklion, Crete, Greece, September 26-27, 2016, Proceedings (Lecture Notes in Computer Science)

by Gilles Barthe, Evangelos Markatos, Pierangela Samarati

ISBN 13: 9783319465975

Format: Paperback (240 pages)
Publisher: Springer
Published: 17 Sep 2016

Save for later

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, ... 3362 (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

Foundations of Probabilistic Programming

by Gilles Barthe,Joost-Pieter Katoen,Alexandra Silva

ISBN 13: 9781108488518

Format: Hardcover (582 pages)
Publisher: Cambridge University Press
Published: 03 Dec 2020

Save for later