Paperback. Condition: Very Good. We are unable to ship to Canada at this time.Ex-library paperback in very nice condition with the usual markings and attachments.
Condition: New.
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Condition: New. In.
Published by Springer-Verlag New York Inc, 2008
ISBN 10: 3540850732 ISBN 13: 9783540850731
Language: English
Seller: Revaluation Books, Exeter, United Kingdom
Paperback. Condition: Brand New. 1st edition. 234 pages. 9.50x6.25x0.50 inches. In Stock.
Published by Springer Berlin Heidelberg, 2008
ISBN 10: 3540850732 ISBN 13: 9783540850731
Language: English
Seller: moluna, Greven, Germany
Kartoniert / Broschiert. Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. The application of formal methods to security protocol analysis has attracted increasing attention in the past two decades, and recently has been sh- ing signs of new maturity and consolidation. The development of these formal methodsismotivatedbythehostile.