Pastāsti draugiem par šo preci:
The Austin Protocol Compiler - Advances in Information Security Mcguire, Tommy M. (University of Texas at Austin) 2005 edition
The Austin Protocol Compiler - Advances in Information Security
Mcguire, Tommy M. (University of Texas at Austin)
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
| Mediji | Grāmatas Hardcover Book (Grāmata ar cieto muguriņu un vāku) |
| Izlaists | 2004. gada 19. novembris |
| ISBN13 | 9780387232270 |
| Izdevēji | Springer-Verlag New York Inc. |
| Lapas | 141 |
| Izmēri | 156 × 234 × 11 mm · 394 g |
| Valoda | Angļu |