Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security: Joint Workshop, ARSPA-WITS 2010, Paphos,

by Alessandro Armando

2021-01-06 13:54:32

This book constitutes the proceedings of the Joint Workshop on Automated Reasoning for Security Prool Analysis and Issues in the Theory of Security held in Paphos, Cyprus, in March 2010.
This book constitutes the proceedings of the Joint Workshop on Automated Reasoning for Security Prool Analysis and Issues in the Theory of Security held in Paphos, Cyprus, in March 2010. Less

Book Details

File size0 X 0 X 0 in
Print pages185
PublisherSpringer-Verlag/Sci-Tech/Trade
Publication date October 8, 2010
LanguageEnglish
ISBN9783642160738

Compare Prices

Store Availability Book Format Condition Price
Indigo Books & Music In Stock Paperback Paperback Buy CAD 72.94
Indigo Books & MusicIn Stock
Format
Paperback
Condition
Paperback
Buy CAD 72.94
Available Discount
No Discount available

Join us and get access to all
your favourite books

Sign up for free and start exploring thousands of eBooks today.

Sign up for free