Timed Automata as a Verification Tool for Security Protocols

Gesponsert  Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen

Gesponsert Timed Automata as a Verification Tool for Security Protocols, Fachbücher von Burcu Külahç

49.00 EUR
Preis aktualisiert am: 25-04-2026 01:06:48
Siehe Produktangebot
Bezeichner
ISBN 3844394605
Abmessungen / Gewicht
Hauptmerkmale