Formal Aspects of Security and TrustGilles Barthe

Formal Aspects of Security and Trust

Gilles Barthe, Anupam Datta, Sandro Etalle · 2012

איפה לקנות

המחיר באמזון משתנה מדי יום, אז הכי נכון לראות אותו שם ברגע הקנייה.

לצפייה באמזון

פרטי הספר

שנה: 2012
הוצאה: Springer
מהדורות: 1
עמודים: 292
ISBN: 9783642294211

מקור הנתונים: Wikidata

עוד של 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

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

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

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

Gilles Barthe · 2006

Applied SemanticsGilles Barthe

Applied Semantics

Gilles Barthe · 2003

L'enfance spirituelleGilles Barthe

L'enfance spirituelle

Gilles Barthe · 2001