26593794
9783642160738
Out of Stock
The item you're looking for is currently unavailable.
Armando, Alessandro is the author of 'Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security : Joint Workshop, ARSPA-WITS 2010, Paphos, Cyprus, March 27-28, 2010, Revised Selected Papers', published 2010 under ISBN 9783642160738 and ISBN 3642160735.
[read more]