Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security: Joint Workshop, ARSPA-WITS 2010, Paphos, Cyprus, March 27-28, . (Lecture Notes in Computer Science, 6186)

Armando, Alessandro, Lowe, Gavin

ISBN 10: 3642160735 ISBN 13: 9783642160738
Published by Springer, 2010
Language: English
Condition: New Soft cover

Sold by Zubal-Books, Since 1961, Cleveland, OH, U.S.A.

Heritage Bookseller
AbeBooks Seller since July 12, 1996

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

View this seller's items


New - Soft cover

Condition: New

Price:
US$ 28.00
US$ 4.50 shipping
Ships within U.S.A.

Quantity: 1 available

Add to basket