Verifică starea comenzii
LIBRISTO
LIBROAMANTO
obligatoriu
Parolă uitată
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit
0
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Packeta 15.00 lei Serviciul de curierat Cargus 28.00 lei Easybox 20.00 lei FAN Courier 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier DPD 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

Operational Semantics and Verification of Security Protocols

Limba englezăengleză
Carte Carte broșată
Carte Operational Semantics and Verification of Security Protocols Cas Cremers
Codul Libristo: 09090345
Editura Springer, Berlin, martie 2011
This account of an effective methodology for defining and verifying security protocols in network co... Descrierea completă
? points 125 b
270.22 lei
În depozitul extern Expediem în 5-8 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

Parlammoce accussì. Dizionario italiano-napoletano, napoletano-italiano Claudio Pennino / Carte Carte broșată
common.buy 107.94 lei
Großkommentare der Praxis HGB §§ 89-104 Jan Thiessen / Carte Copertă tare
common.buy 1 569.83 lei
Curând
Die römische Gesellschaft Angela Juliana Maria Ganter / Carte Carte broșată
common.buy 124.35 lei
Amalia Aude Picault / Carte Carte
common.buy 106.17 lei
Conformité dans la surveillance de la corruption des entreprises Leonardo Cesar / Carte Carte broșată
common.buy 186.69 lei
Światłoczułość Jakub Jarno / Carte Carte broșată
common.buy 58.38 lei
Curând
Vzpomínky malostranské Marie Klečacká-Beyly / Carte Carte broșată
common.buy 56.20 lei
Sur la soie de ta peau Chase / Carte Carte broșată
common.buy 49.96 lei
Top
Die Deutschen im Osten Europas. Die Geschichte der deutschen Ostgebiete: Ostpreußen, Westpreußen, Schlesien, Baltikum und Sudetenland Uwe Klußmann / Carte Copertă tare
common.buy 44.98 lei
Contabilidade de Custos Aplicada ao Setor Público Gabriel Souza / Carte Carte broșată
common.buy 186.69 lei
Das Ende der Illusionen Andreas Reckwitz / Carte Carte broșată
common.buy 94.32 lei
SEñOR MECO MAR GUERRA CID / Carte Carte broșată
common.buy 73.34 lei
Good Kid,M.A.A.D City (Deluxe Edt.) Kendrick Lamar / Audio Audio CD
common.buy 92.35 lei
S C Kho V NH Ng S Th T Sanh T Luan Quoc Pho / Carte Carte broșată
common.buy 108.14 lei
Issledovaniya po istorii i istorii kul'tury tyurkov Sredney Azii Shamsiddin Kamoliddin / Carte Carte broșată
common.buy 214.64 lei
Ein Wintertraum. Das Verhaltnis von Traum und Realitat des Wanderers in Schuberts 'Winterreise' Nathaniel Mandal / Carte Carte broșată
common.buy 79.78 lei
entdeckte Geheimnis der Natur im Bau und der Befruchtung der Blumen Christian Konrad Sprengel / Carte Carte broșată
common.buy 140.14 lei
Die Bedeutung interpersonaler Beziehungen für die Organisation der Unternehmung. Klaus Sommer / Carte Carte broșată
common.buy 282.79 lei
Člověče, nežer mě! společenská hra v krabici / Joc / Jucărie Joc
common.buy 46.53 lei
Curând
Meruňková zavařenina Alexandr Solženicyn / Carte Copertă tare
common.buy 48.72 lei

This account of an effective methodology for defining and verifying security protocols in network communication includes an accompanying tool set that will be of great interest to researchers and advanced professionals working on critical security protocols.§

Actriță & Poliglotă
EWA KASP pentru
Redă videoclipul
Ewa Kasp
Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.

Informații despre carte

Titlu complet Operational Semantics and Verification of Security Protocols
Autor Cas Cremers, Sjouke Mauw
Limba engleză
Legare Carte - Carte broșată
Data publicării 2011
Număr pagini 174
EAN 9783642430534
ISBN 3642430538
Codul Libristo 09090345
Editura Springer, Berlin
Greutatea 296
Dimensiuni 156 x 235 x 10

Categorii

Computing & Information Technology > Computer programming / software engineering > Algorithms & data structures
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer security > Data encryption
Computing & Information Technology > Operating systems
Computing & Information Technology > Computer networking & communications
Computing & Information Technology > Computer science
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Ar putea de asemenea, să te intereseze

Agent-Oriented Information Systems III Manuel Kolp / Carte Carte broșată
common.buy 270.43 lei
Chihuahua Nine-Letter Word Puzzles Volume 3 Alan Walker / Carte Carte broșată
common.buy 47.99 lei
New Politics of European Civil Society Ulrike Liebert / Carte Carte broșată
common.buy 382.74 lei
Mom 3MD Rose a Hunt / Carte Carte broșată
common.buy 79.57 lei
Beyond Measure J & M Beresford / Carte Carte broșată
common.buy 97.55 lei
Girl from Enceladus M. L. Pope / Carte Carte broșată
common.buy 85.50 lei
Wendy on Wheels Saves the Day Angela Ruzicka / Carte Carte broșată
common.buy 85.50 lei
FOGA 15 Foundations on Genetic Algorithms XIII Foga 15 Conference Committee / Carte Carte broșată
common.buy 290.79 lei
Scooby-Doo. The Sinister Sorcerer JAMES GELSEY / Carte Carte broșată
common.buy 32.93 lei
LIFE OF THE EMPEROR FREDERICK, VOLUME 2 MARGARET POSCHINGER / Carte Copertă tare
common.buy 184.09 lei
Animal Ethics in Animal Research Helena Rocklinsberg / Carte Carte broșată
common.buy 306.79 lei
Monitoring International Labor Standards: Summary of Domestic Forums National Research Council / Carte Carte broșată
common.buy 263.78 lei
Hungry Tide Amitav Ghosh / Carte Carte broșată
common.buy 50.79 lei
Calm Art Deco Adult Coloring Book: Creative Art Therapy for Mindfulness Louisa Banks / Carte Carte broșată
common.buy 46.74 lei
Statistical Methods for Drug Safety Anup Amatya / Carte Copertă tare
common.buy 958.21 lei
Fresh Start Devotionals: July - September Jim L Wilson / Carte Carte broșată
common.buy 46.95 lei
Psychic: EXACT BLUEPRINT on How to Develop Psychic Abilities and Explode Open Your Intuition - Telepathy, Fortune Telling, ESP John Marsh / Carte Carte broșată
common.buy 66.59 lei
GROUND WATER SEEPAGE AND ITS EFFECTS ON LOREN L BAHLS / Carte Carte broșată
common.buy 90.69 lei
Young Forever: The Secrets to Living Your Longest, Healthiest Life HYMAN MARK / Carte Copertă tare
common.buy 136.72 lei
When Animals Speak Eva Meijer / Carte Carte broșată
common.buy 230.64 lei
Harmonia Ruralis; Or, an Essay Towards a Natural History of British Song Birds James Bolton / Carte Copertă tare
common.buy 230.01 lei
Motivation of Workers on Microtask Crowdsourcing Platforms Babak Naderi / Carte Carte broșată
common.buy 270.43 lei
Getting "Yes" Decisions Bernie De Souza / Carte Carte broșată
common.buy 67.31 lei
The Last School District: A Two-Act Play Ph D Joelyn K Foy / Carte Carte broșată
common.buy 36.98 lei

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo
Consilier de cărți Libroamiko
Bună ziua, sunt Libroamiko, vă pot ajuta?