Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security

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 ARMANDO, Alessandro ; Lowe, Gavin

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,
€70,95

Levertijd: 5 tot 10 werkdagen.

Specificaties

ISBN
9783642160738
Uitgever
Springer-Verlag New York Inc
Druk
1e
Verschenen
01-01-2010
Taal
Engels
Bladzijden
184 pp.
Bindwijze
Paperback
Genre
Nederlandstalige literatuur

Delen op

Meer op Athenaeum.nl over boeken

Koop uw boeken bij Athenaeum

  • Gratis verzending vanaf € 20,- (in de algemene webwinkel, binnen Nederland).
  • Bestellen zonder registratie of login.
  • Vertrouwde service, veilige afhandeling.
MINDBOOKSATH : athenaeum