Operational Semantics and Verification of Security Protocols
Par : ,Formats :
- Réservation en ligne avec paiement en magasin :
- Indisponible pour réserver et payer en magasin
- PrésentationCartonné
- Poids0.45 kg
- Dimensions15,5 cm × 23,5 cm × 1,6 cm
- ISBN978-3-540-78635-1
- EAN9783540786351
- Date de parution31/10/2012
- ÉditeurKluwer Academic Publishers