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

de la 305.36 Lei

Formal Methods for Industrial Critical Systems

de la 398.38 Lei

Concise Guide to Software Verification

de la 334.67 Lei

Tools and Algorithms for the Construction and Analysis of Systems

de la 392.00 Lei