Mohlo by sa vám tiež páčiť

Viac informácií o knihe Austin Protocol Compiler

• Parametre knihy
• Anotácia kniha
• Obľúbené z iného súdka

Nákupom získate 265 bodov

Anotácia knihy

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.

Parametre knihy

Zaradenie knihy Knihy po anglicky Computing & information technology Computer security Data encryption

• Celý názov: Austin Protocol Compiler
• Autor: Mohamed G. (University of Texas at Austin) Gouda
• Jazyk: Angličtina
• Väzba: Pevná
• Počet strán: 160
• EAN: 9780387232270
• ISBN: 9780387232270
• ID: 07184044
• Nakladateľ: Springer-Verlag New York Inc.
• Hmotnosť: 405 g
• Rozmery: 234 × 156 × 11 mm
• Dátum vydania: 19. November 2004

Obľúbené z iného súdka

---

---

---