Recomienda este artículo a tus amigos:
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 / Security and Cryptology 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 / Security and Cryptology
Alessandro Armando
Constitutes the proceedings of the Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, that was held in Paphos, Cyprus, in March 2010.
185 pages, 39 black & white illustrations, biography
| Medios de comunicación | Libros Paperback Book (Libro con tapa blanda y lomo encolado) |
| Publicado | 8 de octubre de 2010 |
| ISBN13 | 9783642160738 |
| Editores | Springer-Verlag Berlin and Heidelberg Gm |
| Páginas | 185 |
| Dimensiones | 152 × 231 × 10 mm · 299 g |
| Lengua | Francés |
| Editor | Armando, Alessandro |
| Editor | Lowe, Gavin |
Mas por Alessandro Armando
Mostrar todoMere med samme udgiver
Ver todo de Alessandro Armando ( Ej. Paperback Book )