Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Free delivery for purchases over 19 990 Ft

DPD point 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Austin Protocol Compiler

Name: Austin Protocol Compiler
Brand: Springer-Verlag New York Inc.
SKU: 07184044
Price: 41522 HUF
Availability: InStock
Author: Mohamed G. (University of Texas at Austin) Gouda
ISBN: 9780387232270

Mohamed G. (University of Texas at Austin) Gouda

Language

English

Book Hardback

Libristo code: 07184044

Publishers Springer-Verlag New York Inc., November 2004

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

Libristo code: 07184044

285 b

41 522 Ft

Low in stock at our supplier Shipping in 13-18 days

Up to 30 days for returns

Customers also purchased

Soul Sealer's School Life 3 Sarah Ozolnieks

Paperback

6 278 Ft

Tutto in me è amore. Antologia delle lettere 1918-1926 Piero Gobetti

Paperback

9 692 Ft

Kronika rodinného chaosu Jiří May

Paperback

3 590 Ft

berger d'Andorre - El pastor d'Andorra Corinne Toupillier

Paperback

2 158 Ft

Kahden maailman valissa Heli Santavuori

Paperback

6 890 Ft

L'Arte della Magia Frank G. Ripel

Paperback

13 545 Ft

Multi-Regime-Regulierung Britta Meinke

Paperback

20 361 Ft

Analisis para la Mejora del Proceso de Produccion de Lapices de Madera Roman A. Mora Gtz.

Paperback

30 592 Ft

Abhängigkeitserkrankung als missglückter Selbstheilungsversuch Walter Linher

Paperback

24 342 Ft

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.