0
首頁
0
熱門排行
0
個人書房
借閱次數:
0
Operational semantics and verification of security protocols
作者:by Cas Cremers, Sjouke Mauw.
出版者:Springer Berlin Heidelberg : Imprint: Springer
出版地:Berlin, Heidelberg :
語文:英語
叢書名:Information security and cryptography,
電子資源:
http://dx.doi.org/10.1007/978-3-540-78636-8
ISBN/ISSN/ISRC:9783540786368 (electronic bk.) ; 9783540786351 (paper)
作者:
Cremers, Cas.
;
Mauw, Sjouke.
索書號:005.8
館藏
簡介
作者簡介
書架附近的資料
借這本書的人也借過下面這些書