Trustworthy Global Computing

View on Open Library

Trustworthy Global Computing

by Gilles Barthe , Cédric Fournet

No reviews yet

First published: 2008 1 language ISBN: 9783540786634

Reviews

Log in or sign up to write a review.

No reviews yet. Be the first!

More by Gilles Barthe

Foundations of Probabilistic Programming

Foundations of Probabilistic Programming

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

Construction and Analysis of Safe, Secur...

L'enfance spirituelle

L'enfance spirituelle

Formal Aspects of Security and Trust

Formal Aspects of Security and Trust

Applied Semantics

Applied Semantics

Software Engineering and Formal Methods

Software Engineering and Formal Methods