عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
oldebook6044
eng
Foundations and applications of security analysis
Berlin ;New York :
: Springer,
, 2009.
Print
Computer security ; Congresses. ; Formal methods (Computer science) ; Congresses. ; Cryptography ; Congresses. ;
; Vigan?, Luca. ; -Degano, Pierpaolo, ; 1950
old catalog
