Gilles Barthe
6 cărți
Cărți
6
Trustworthy Global Computing
de la 284.42 Lei
Software Engineering and Formal Methods
de la 299.45 Lei
Applied Semantics
de la 284.42 Lei
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices
de la 305.36 Lei
Verification, Model Checking, and Abstract Interpretation
de la 305.36 Lei
Foundations of Probabilistic Programming, Hardcover
de la 418.99 Lei
