Operational Semantics and Verification of Security Protocols
Available
 
Book Details
ISBN-13: 9783642430534
EAN: 9783642430534
Publisher Date: 09/11/2014
Country Of Origin: Germany
Gardner Classification Code: ZZZ
Illustrations: biography
MediaMail: Y
Pagination: 174 pages, biography
Series Title: Information Security and Cryptography
Star Rating: 0
Width: 155 mm
ISBN-10: 3642430538
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Binding: Paperback
Dewey: 005.8
Height: 235 mm
Language: English
No of Pages: 174
PrintOnDemand: N
Spine Width: 10 mm
UK Availability: GXC
Year Of Publication: 2011