Willkommen, schön sind Sie da!
Logo Ex Libris

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

  • E-Book (pdf)
  • 185 Seiten
(0) Erste Bewertung abgeben
Bewertungen
(0)
(0)
(0)
(0)
(0)
Alle Bewertungen ansehen
E-Books ganz einfach mit der kostenlosen Ex Libris-Reader-App lesen. Hier erhalten Sie Ihren Download-Link.
CHF 71.00
Download steht sofort bereit
Informationen zu E-Books
E-Books eignen sich auch für mobile Geräte (sehen Sie dazu die Anleitungen).
E-Books von Ex Libris sind mit Adobe DRM kopiergeschützt: Erfahren Sie mehr.
Weitere Informationen finden Sie hier.
Bestellung & Lieferung in eine Filiale möglich

Produktinformationen

Titel: Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security
Untertitel: Joint Workshop, ARSPA-WITS 2010, Paphos, Cyprus, March 27-28, 2010, Revised Selected Papers
Editor:
EAN: 9783642160745
Digitaler Kopierschutz: Wasserzeichen
Format: E-Book (pdf)
Hersteller: Springer Berlin Heidelberg
Genre: IT & Internet
Anzahl Seiten: 185
Veröffentlichung: 05.10.2010
Dateigrösse: 2.9 MB

Weitere Bände aus der Buchreihe "Lecture Notes in Computer Science"