Austin Protocol Compiler

Name: Austin Protocol Compiler
Brand: Springer-Verlag New York Inc.
SKU: 9780387232270
Price: 44718 HUF
Availability: InStock

Szerző: Mohamed G. (University of Texas at Austin) Gouda

Nyelv:

Kötés: Kemény kötésű

Kiadó: Springer-Verlag New York Inc.

Elérhetőség: Beszállítói készleten

Küldés 9-13 napon belül

44 718 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

Szerző

Mohamed G. (University of Texas at Austin) Gouda

Nyelv

Angol

Kötés

Könyv - Kemény kötésű

Kiadva

2004

oldal

160

EAN

9780387232270

ISBN

9780387232270

Enbook ID

07184044

Kiadó

Springer-Verlag New York Inc.

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

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

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Austin Protocol Compiler

Információk a könyvről

Teljes leírás

Érdekelheti

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