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 de Alessandro Armando

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: Lecture Notes in Computer Science, cartea 6186

Editat de Alessandro Armando, Gavin Lowe

en Limba Engleză Paperback – 8 oct 2010

Din seria Lecture Notes in Computer Science

Preț: 432^.39 lei

Nou

Puncte Express: 649

:
76^.50€ • 89^.94$ • 67^.00£

Carte disponibilă

Livrare economică 07-21 ianuarie 26

Adaugă în coș

Wish list
Gift list
Am citit!

Adaugă în listă

Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783642160738
ISBN-10: 3642160735
Pagini: 185
Ilustrații: IX, 185 p. 39 illus.
Greutate: 0.3 kg
Ediția:2010
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seriile Lecture Notes in Computer Science, Security and Cryptology

Locul publicării:Berlin, Heidelberg, Germany

Public țintă

Research