Книга Austin Protocol Compiler Mohamed G. (University of Texas at Austin) Gouda

Austin Protocol Compiler

Език: Английски език
Корици: С твърди корици
Наличност: Външен склад в ограничено количество
Изпращаме след 13-18 дни
116.16 227.18 лв
The TAP notation uses two types of semantics: an abstract semantics for protocol verifiers and a con...

Информация за книгата

Език
Английски език
Корици
Книга - С твърди корици
Издадена
2004
страници
160
EAN
9780387232270
ISBN
9780387232270
Enbook ID
07184044
Теглоt
405
Размери
156 x 234 x 11

Пълно описание

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.

Може също да ви хареса

105.41 206.16 лв
38.57 75.43 лв
15.31 29.95 лв
196.76 384.84 лв

De Principiis

Origen of Alexandria
9.64 18.85 лв
105.41 206.16 лв
81.61 159.61 лв
258.44 505.46 лв
41.63 81.42 лв
9.34 18.26 лв

Клиенти, които купиха тази книга, купиха също

16.67 32.60 лв
10.39 20.32 лв
5.77 11.29 лв
18.33 35.84 лв

L'Arte della Magia

Frank G. Ripel
34.65 67.77 лв
54.28 106.17 лв