Operational Semantics and Verification of Security Protocols

Cremers, Cas; Mauw, Sjouke

ISBN 10: 354078635X ISBN 13: 9783540786351
Published by Springer, 2012
Language: English
Condition: New Hardcover

Sold by GreatBookPricesUK, Woodford Green, United Kingdom

AbeBooks Seller since January 28, 2020

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

View this seller's items


New - Hardcover

Condition: New

Price: US$ 85.48 Convert Currency
US$ 20.34 shipping from United Kingdom to U.S.A. Destination, rates & speeds

Quantity: Over 20 available

Add to basket