Formal to Practical Security: Papers Issued from the girro 2014年2月1日 9 阅读 0 评论 计算机、互联网 Formal to Practical Security: Papers Issued from the 2005-2008 French-Japanese Collaboration (Lecture Notes in Computer Science / Security and Cryptology) Hardcover: 199 pages Publisher: Springer (May 25, 2009) Language: English ISBN-10: 3642020011 代发服务PDF电子书10元立即求助