Gilles Barthe - Böcker

Visar alla böcker från författaren Gilles Barthe.
14 produkter
Gilles Barthe, Evangelos Markatos, Pierangela Samarati - Security and Trust Management, Häftad

Security and Trust Management

Av Gilles Barthe, Evangelos Markatos, Pierangela Samarati

Häftad, Engelska, 2016

729 kr

Skickas inom 10-15 vardagar
Gilles Barthe, Peter Dybjer, Luis Pinto, João Saraiva - Applied Semantics, Häftad

Applied Semantics

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

Häftad, Engelska, 2002

729 kr

Skickas inom 10-15 vardagar
Gilles Barthe - Formal Methods for Open Object-Based Distributed Systems, Häftad

Formal Methods for Open Object-Based Distributed Systems

Av Gilles Barthe

Häftad, Engelska, 2008

729 kr

Skickas inom 10-15 vardagar
Gilles Barthe, Cédric Fournet - Trustworthy Global Computing, Häftad

Trustworthy Global Computing

Av Gilles Barthe, Cédric Fournet

Häftad, Engelska, 2008

729 kr

Skickas inom 10-15 vardagar
Alessandro Aldini, Gilles Barthe, Roberto Gorrieri - Foundations of Security Analysis and Design V, Häftad

Foundations of Security Analysis and Design V

Av Alessandro Aldini, Gilles Barthe, Roberto Gorrieri

Häftad, Engelska, 2009

669 kr

Skickas inom 10-15 vardagar
Gilles Barthe, Manuel Hermenegildo - Verification, Model Checking, and Abstract Interpretation, Häftad

Verification, Model Checking, and Abstract Interpretation

Av Gilles Barthe, Manuel Hermenegildo

Häftad, Engelska, 2010

729 kr

Skickas inom 10-15 vardagar
Gilles Barthe - Programming Languages and Systems, Häftad

Programming Languages and Systems

Av Gilles Barthe

Häftad, Engelska, 2011

729 kr

Skickas inom 10-15 vardagar
Jorge Cuellar, Javier Lopez, Gilles Barthe, Alexander Pretschner - Security and Trust Management, Häftad

Security and Trust Management

Av Jorge Cuellar, Javier Lopez, Gilles Barthe, Alexander Pretschner

Häftad, Engelska, 2011

729 kr

Skickas inom 10-15 vardagar
Gilles Barthe, Alberto Pardo, Gerardo Schneider - Software Engineering and Formal Methods, Häftad

Software Engineering and Formal Methods

Av Gilles Barthe, Alberto Pardo, Gerardo Schneider

Häftad, Engelska, 2011

729 kr

Skickas inom 10-15 vardagar
Gilles Barthe, Ben Livshits, Riccardo Scandariato - Engineering Secure Software and Systems, Häftad

Engineering Secure Software and Systems

Av Gilles Barthe, Ben Livshits, Riccardo Scandariato

Häftad, Engelska, 2012

729 kr

Skickas inom 10-15 vardagar
Gilles Barthe, Anupam Datta, Sandro Etalle - Formal Aspects of Security and Trust, Häftad

Formal Aspects of Security and Trust

Av Gilles Barthe, Anupam Datta, Sandro Etalle

Häftad, Engelska, 2012

729 kr

Skickas inom 10-15 vardagar