Austin Protocol Compiler

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

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

Jazyk:

Väzba: Pevná

Vydavateľ: Springer-Verlag New York Inc.

Dostupnosť: Skladom u dodávateľa v malom množstve

Odosielame za 13-18 dní

106.16 €

The TAP notation uses two types of semantics: an abstract semantics for protocol verifiers and a con...

Informácie o knihe

Autor

Mohamed G. (University of Texas at Austin) Gouda

Jazyk

Angličtina

Väzba

Kniha - Pevná

Vydalo

2004

Stránok

160

EAN

9780387232270

ISBN

9780387232270

Enbook ID

07184044

Vydavateľ

Springer-Verlag New York Inc.

Hmotnosť

405

Rozmery

156 x 234 x 11

Kompletný popis

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.

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Austin Protocol Compiler

Informácie o knihe

Kompletný popis

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež