Formal correctness of security protocols
Auteur :
Bella, Giampaolo
Éditeur :
Bella, Giampaolo
ISBN :
9783642087820
Date de publication :
29 nov. 2010
Dimensions :
23,4 x 15,6 x 1,5 cm
Poids :
456 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne