The Austin Protocol Compiler - Advances in Information Security - Mcguire, Tommy M. (University of Texas at Austin) - Książki - Springer-Verlag New York Inc. - 9780387232270 - 19 listopada 2004
W przypadku, gdy okładka i tytuł się nie zgadzają, tytuł jest poprawny

The Austin Protocol Compiler - Advances in Information Security 2005 edition

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

Cena
zł 493,90

Zamówione z odległego magazynu

Przewidywana dostawa 16 - 28 paź

Nasi klienci mówią:

14-dniowa polityka zwrotów zgodnie z europejskim prawem ochrony konsumentów
Najwyższa ocena na Trustpilot
Dodaj do swojej listy życzeń iMusic

Również dostępne jako:

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 Książki     Hardcover Book   (Książka z twardym grzbietem i okładką)
Wydane 19 listopada 2004
ISBN13 9780387232270
Wydawcy Springer-Verlag New York Inc.
Strony 141
Wymiary 156 × 234 × 11 mm   ·   394 g
Język English  

Zobacz wszystko od Mcguire, Tommy M. (University of Texas at Austin) ( np. Hardcover Book i Paperback Book )