Výsledky vyhľadávania

Autor: Külahç o lu, Burcu
Timed Automata as a Verification Tool for Security Protocols

Timed Automata as a Verification Tool for Security Protocols

Külahç o lu, Burcu
AngličtinaMäkká väzbaTlač na objednávku
Dictus Publishing
ISBN: 9783844394603
Tlač na objednávku
Predpokladané dodanie vo štvrtok, 24. apríla 2025
Tlač na objednávku
Predpokladané dodanie vo štvrtok, 24. apríla 2025
57,44 € -10 %