booktheque

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

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

איפה לקנות

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

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

פרטי הספר

שנה
2006
שפה
English
הוצאה
Springer London, Limited
מהדורות
2
ISBN
9783540336914

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

עוד של Gilles Barthe

Foundations of Probabilistic Programming
Gilles Barthe · 2020
Security and Trust Management
Gilles Barthe · 2016
Formal Aspects of Security and Trust
Gilles Barthe · 2012
Software Engineering and Formal Methods
Gilles Barthe · 2011
Programming Languages and Systems
Gilles Barthe · 2011
Verification, Model Checking, and Abstract Interpretation
Gilles Barthe · 2010
Trustworthy Global Computing
Gilles Barthe · 2008
Applied Semantics
Gilles Barthe · 2003
L'enfance spirituelle
Gilles Barthe · 2001