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
