The Austin Protocol Compiler - Advances in Information Security - Mcguire, Tommy M. (University of Texas at Austin) - Books - Springer-Verlag New York Inc. - 9780387232270 - November 19, 2004
In case cover and title do not match, the title is correct

The Austin Protocol Compiler - Advances in Information Security 2005 edition

Mcguire, Tommy M. (University of Texas at Austin)

Price
$ 122.49

Ordered from remote warehouse

Expected delivery Feb 26 - Mar 11

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Also available as:

The Austin Protocol Compiler - Advances in Information Security 2005 edition

The TAP notation uses two types of semantics: an abstract semantics for protocol verifiers and a concrete semantics for protocol implementers. This book illustrates that two types of semantics of TAP are equivalent.

141 pages, biography

Media Books     Hardcover Book   (Book with hard spine and cover)
Released November 19, 2004
ISBN13 9780387232270
Publishers Springer-Verlag New York Inc.
Pages 141
Dimensions 156 × 234 × 11 mm   ·   394 g
Language English  

See all of Mcguire, Tommy M. (University of Texas at Austin) ( e.g. Hardcover Book and Paperback Book )