Predstavenie autora Bruno Blanchet:

Doterajšie vydané knihy od Bruno Blanchet:

Modelovanie a overovanie bezpečnostných protokolov pomocou Applied Pi Calculus a ProVerif - Modeling...
New Publ Inc
Overovanie bezpečnostných protokolov je aktívnou...
Modelovanie a overovanie bezpečnostných protokolov pomocou Applied Pi Calculus a ProVerif - Modeling and Verifying Security Protocols with the Applied Pi Calculus and ProVerif
<<
1
>>

© Book1 Group - všetky práva vyhradené.
Obsah tejto stránky nesmie byť kopírovaný ani použitý čiastočne alebo v celku bez písomného súhlasu vlastníka.
Posledná úprava: 2024.11.13 22:11 (GMT)