Home
Modeling and Verifying Security Protocols with the Applied Pi Calculus and ProVerif by Bruno Blanchet, Paperback | Indigo Chapters
Loading Inventory...
Modeling and Verifying Security Protocols with the Applied Pi Calculus and ProVerif by Bruno Blanchet, Paperback | Indigo Chapters
From Bruno Blanchet
Current price: $123.50
From Bruno Blanchet
Modeling and Verifying Security Protocols with the Applied Pi Calculus and ProVerif by Bruno Blanchet, Paperback | Indigo Chapters
Current price: $123.50
Loading Inventory...
Size: 0.33 x 9.21 x 0.49
*Product information may vary - to confirm product availability, pricing, shipping and return information please contact Coles
Modeling and Verifying Security Protocols with the Applied Pi Calculus and ProVerif by Bruno Blanchet, Paperback | Indigo Chapters