Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security
-
- 52,99 €
-
- 52,99 €
Beschreibung des Verlags
This book constitutes the proceedings of the Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security held in Paphos, Cyprus, in March 2010.
GENRE
Computer und Internet
ERSCHIENEN
2010
5. Oktober
SPRACHE
EN
Englisch
UMFANG
194
Seiten
VERLAG
Springer Berlin Heidelberg
ANBIETERINFO
Springer Science & Business Media LLC
GRÖSSE
8,6
MB