Operational Semantics and Verification of Security Protocols - Information Security and Cryptography - Cas Cremers - Boeken - Springer-Verlag Berlin and Heidelberg Gm - 9783642430534 - 9 november 2014
Indien omslag en titel niet overeenkomen, is de titel correct

Operational Semantics and Verification of Security Protocols - Information Security and Cryptography

Prijs
€ 50,99

Besteld in een afgelegen magazijn

Verwachte levering 12 - 20 nov.
Kerstcadeautjes kunnen tot en met 31 januari worden ingewisseld
Ontvang meldingen over nieuwe releases van Cas Cremers
Voeg toe aan uw iMusic-verlanglijst

Nog niet beoordeeld

Ook verkrijgbaar als:

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.


174 pages, black & white illustrations, bibliography

Media Boeken     Paperback Book   (Boek met zachte kaft en gelijmde rug)
Vrijgegeven 9 november 2014
Datum oorspronkelijke uitgave 2011
ISBN13 9783642430534
Uitgevers Springer-Verlag Berlin and Heidelberg Gm
Pagina's 174
Afmetingen 155 × 235 × 10 mm   ·   295 g
Taal en grammatica Duits  

Meer van dezelfde uitgever