Construction and Analysis of Safe, Secure, and Interoperable Smart DevicesGilles Barthe

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices

Gilles Barthe, Lilian Burdy, Marieke Huisman, Jean-Louis Lanet · 2006

Where to buy

Amazon’s price changes daily, so the most accurate place to see it is there, at the moment you buy.

Book details

Year: 2006
Language: English
Publisher: Springer London, Limited
Editions: 2
ISBN: 9783540336914

Data source: Wikidata

More by Gilles Barthe

Foundations of Probabilistic ProgrammingGilles Barthe

Foundations of Probabilistic Programming

Gilles Barthe · 2020

Security and Trust ManagementGilles Barthe

Security and Trust Management

Gilles Barthe · 2016

Formal Aspects of Security and TrustGilles Barthe

Formal Aspects of Security and Trust

Gilles Barthe · 2012

Software Engineering and Formal MethodsGilles Barthe

Software Engineering and Formal Methods

Gilles Barthe · 2011

Programming Languages and SystemsGilles Barthe

Programming Languages and Systems

Gilles Barthe · 2011

Verification, Model Checking, and Abstract InterpretationGilles Barthe

Verification, Model Checking, and Abstract Interpretation

Gilles Barthe · 2010

Trustworthy Global ComputingGilles Barthe

Trustworthy Global Computing

Gilles Barthe · 2008

Applied SemanticsGilles Barthe

Applied Semantics

Gilles Barthe · 2003

L'enfance spirituelleGilles Barthe

L'enfance spirituelle

Gilles Barthe · 2001