- Nyhet
Foundations and Applications of Security Analysis
Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS 2009, York, UK, March 28-29, 2009, Revised Selected Papers
AvLuca Vigano,Pierpaolo Degano
E-bok
PDF, Engelska, 2009734 kr
Läs direkt i Bokus Reader – eller ladda ned till din enhet (PDF kräver ofta zoom och scroll på små skärmar).
Produktinformation
Utforska kategorier
Hoppa över listan
Du kanske också är intresserad av
Labelled Deduction
Luca Vigano, Sean Matthews, Dov M. Gabbay, M. D'Agostino, David Basin
E-bok
20121 413 kr
Labelled Deduction
Marcello D'Agostino, Dov M. Gabbay, David Basin, M. D'Agostino, Dov M. Gabbay, Seán Matthews, Luca Viganò
Inbunden, 2000
1 105 kr
Del 12812
Del 13176