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

von: Veronique Cortier · Claude Kirchner · Mitsuhiro Okada · Hideki Sakurada Taschenbuch Details (Deutschland) ISBN-13: 978-3-642-02001-8 ISBN-10: 3-642-02001-1 Springer · 2009