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

Mcguire, Tommy M. (University of Texas at Austin)
The Austin Protocol Compiler - Advances in Information Security 2005 edition

Price
$ 122.99
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping May 27 - Jun 8

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 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 )