Formal Aspects of Security and Trust Gilles Barthe, Anupam Datta, Sandro Etalle 456,60 kr. Se produkt
Software Engineering and Formal Methods Gilles Barthe, Alberto Pardo, Gerardo Schneider 456,60 kr. Se produkt
Verification, Model Checking, and Abstract Interpretation Gilles Barthe, Manuel Hermenegildo 456,60 kr. Se produkt
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices Gilles Barthe, Benjamin Gregoire, Marieke Huisman 456,60 kr. Se produkt
