Paperback Book

En stock en iMusic

Mostrar artículos no disponibles

Lanzamientos por Alessandro Armando

Cover for 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 (Paperback Book) (2010)

Automated Reasoning for Security... (2010)

Alessandro Armando

Cover for Alessandro Armando · Automated Reasoning: 4th International Joint Conference, IJCAR 2008, Sydney, NSW, Australia, August 12-15, 2008, Proceedings - Lecture Notes in Computer Science (Paperback Book) [2008 edition] (2008)

Automated Reasoning: 4th Interna... (2008)

Alessandro Armando