Könyv Austin Protocol Compiler Mohamed G. (University of Texas at Austin) Gouda

Austin Protocol Compiler

Nyelv: Angol
Kötés: Kemény kötésű
Elérhetőség: Beszállítói készleten alacsony példányszámban
Küldés 13-18 napon belül
40 525 Ft
The TAP notation uses two types of semantics: an abstract semantics for protocol verifiers and a con...

Információk a könyvről

Nyelv
Angol
Kötés
Könyv - Kemény kötésű
Kiadva
2004
oldal
160
EAN
9780387232270
ISBN
9780387232270
Enbook ID
07184044
Súly
405
Méretek
156 x 234 x 11

Teljes leírás

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.

Érdekelheti

38 571 Ft
13 686 Ft
5 983 Ft
72 160 Ft

De Principiis

Origen of Alexandria
3 760 Ft
27 535 Ft
98 226 Ft
14 872 Ft

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

6 127 Ft
3 504 Ft
2 107 Ft
6 724 Ft

L'Arte della Magia

Frank G. Ripel
13 219 Ft
19 872 Ft