Apparemment, javascript est désactivé sur votre navigateur.

Javascript doit être activé dans votre navigateur pour utiliser toutes les fonctionnalités de ce site.

›

En cours de chargement...

Recherche avancée

Cas Cremers et Sjouke Mauw - Operational Semantics and Verification of Security Protocols.

Operational Semantics and Verification of Security Protocols (Cartonné)

Edition en anglais

Cas Cremers, Sjouke Mauw

Kluwer Academic Publishers
Paru le : 31/10/2012

Plus d'un million de livres disponibles
Retrait gratuit en magasin
Livraison à domicile sous 24h/48h*
* si livre disponible en stock, livraison payante

53,45 €

Expédié sous 6 à 12 jours

ou

À retirer gratuitement en magasin U
entre le 15 novembre et le 20 novembre

Fiche technique

Fiche technique

Date de parution : 31/10/2012
Editeur : Kluwer Academic Publishers
ISBN : 978-3-540-78635-1
EAN : 9783540786351
Présentation : Cartonné
Poids : 0.45 Kg
Dimensions : 15,5 cm × 23,5 cm × 1,6 cm

Operational Semantics and Verification of Security Protocols est également présent dans les rayons

Livres > Médecine, sciences, techniques > Informatique >
Livres > Médecine, sciences, techniques > Informatique > Certification > Dictionnaires >

Operational Semantics and Verification of Security Protocols

Cas Cremers, ...

53,45 €

Haut de page