Formal to Practical Security: Papers Issued from the 2005-2008 French-Japanese Collaboration (Lecture Notes in Computer Science / Security and Cryptology)

von: Véronique Cortier · Claude Kirchner · Mitsuhiro Okada · Hideki Sakurada Springer Berlin Heidelberg · 2009 Taschenbuch Details (Deutschland) Details (USA) Details (Großbritannien) Details (Kanada) Details (Frankreich) Details (Italien) Details (Spanien - España) ISBN-13: 978-3-642-02001-8 ISBN-10: 3-642-02001-1