Herzlich Willkommen!

Zu "formal security models" wurden 17 Produkte gefunden

Suchergebnis | hauptverlag

Filter
Integrated Formal Methods

53,50 CHF*
Rewriting Logic and Its Applications

74,90 CHF*
Interactive Theorem Proving

53,50 CHF*
Principles of Security and Trust

53,50 CHF*
Provable Security

53,50 CHF*
Computer Security – ESORICS 2017

53,50 CHF*
Model Checking Software

58,85 CHF*
Foundations and Practice of Security

53,50 CHF*
Provable Security

53,50 CHF*
Computer Security – ESORICS 2017

53,50 CHF*