Deine Suchergebnisse für
Versuchen Sie es mit einer anderen Buchhandlung in Ihrer Nähe.
-
Security and Trust Management
Band 9871
Security and Trust ManagementBuch (Taschenbuch) + weitere
51,99 €
-
Formal Methods for Open Object-Based Distributed Systems
Band 5051
Formal Methods for Open Object-Based Distributed SystemsBuch (Taschenbuch)
51,99 €
-
Trustworthy Global Computing
Band 4912
Trustworthy Global ComputingBuch (Taschenbuch)
51,99 €
-
Formal Aspects of Security and Trust
Band 7140
Formal Aspects of Security and TrusteBook (PDF) + weitere
54,99 €
-
Software Engineering and Formal Methods
Band 7041
Software Engineering and Formal MethodseBook (PDF) + weitere
54,99 €
-
Programming Languages and Systems
Band 6602
Programming Languages and SystemseBook (PDF) + weitere
54,99 €
-
Engineering Secure Software and Systems
Band 7159 - 12%
Engineering Secure Software and SystemsBuch (Taschenbuch) + weitere
47,99 € UVP
54,99 €* -
Foundations of Probabilistic Programming
Foundations of Probabilistic ProgrammingeBook (PDF) + weitere
54,50 €
-
Applied Semantics
Band 2395Gilles Barthe, Peter Dybjer + weitere
Applied SemanticsBuch (Taschenbuch)
51,99 €
-
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices
Gilles Barthe, Lilian Burdy, Marieke Huisman, Jean-Louis Lanet + weitere
Construction and Analysis of Safe, Secure, and Interoperable Smart DevicesBuch (Taschenbuch) + weitere
51,99 €
-
Verification, Model Checking, and Abstract Interpretation
Band 5944Gilles Barthe + weitere
Verification, Model Checking, and Abstract InterpretationBuch (Taschenbuch)
51,99 €
-
Foundations of Security Analysis and Design V
Band 5705Alessandro Aldini, Gilles Barthe + weitere
Foundations of Security Analysis and Design VBuch (Taschenbuch)
47,99 €
von 12 Treffern werden angezeigt