Zobacz książki o podobnej tematyce

Więcej informacji o Austin Protocol Compiler

• Dane szczegółowe
• Opis
• Ulubione w innej kategorii

Za ten zakup dostaniesz 304 punkty

Opis

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.

Szczegóły książki

Kategoria Książki po angielsku Computing & information technology Computer security Data encryption

• Pełny tytuł: Austin Protocol Compiler
• Autor: Mohamed G. (University of Texas at Austin) Gouda
• Język: Angielski
• Oprawa: Twarda
• Liczba stron: 160
• EAN: 9780387232270
• ISBN: 9780387232270
• ID: 07184044
• Wydawca: Springer-Verlag New York Inc.
• Waga: 405 g
• Wymiary: 234 × 156 × 11 mm
• Data wydania: 19. November 2004

Ulubione w innej kategorii

---

---

---