Książka Austin Protocol Compiler Mohamed G. (University of Texas at Austin) Gouda

Austin Protocol Compiler

Język: Angielski
Oprawa: Twarda
Dostępność: Dostępna u dostawcy w małych ilościach
Wysyłamy za 11-15 dni
472.81
The TAP notation uses two types of semantics: an abstract semantics for protocol verifiers and a con...

Informacje o książce

Język
Angielski
Oprawa
Książka - Twarda
Data wydania
2004
strony
160
EAN
9780387232270
ISBN
9780387232270
Enbook ID
07184044
Waga
405
Wymiary
156 x 234 x 11

Pełny 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.

Możesz być zainteresowany

425.21
148.28
65.19
790.30

De Principiis

Origen of Alexandria
40.95
329.80
1 098.81
165.87
37.23

Klienci, którzy kupili tę książkę, kupili również

67.05
41.93
23.35
73.69

L'Arte della Magia

Frank G. Ripel
147.40
219.05