Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Zjistit stav objednávky

Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma

Doprava zdarma se Zásilkovnou nad 1 499 Kč

Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč

Kontakt

Jak nakupovat

Pomoc

Můj účet

▸ Prázdný :-(

Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Austin Protocol Compiler

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

Mohamed G. (University of Texas at Austin) Gouda

Jazyk

Angličtina

Kniha Pevná

Libristo kód: 07184044

Nakladatelství Springer-Verlag New York Inc., listopad 2004

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

Libristo kód: 07184044

265 b

2 646 Kč

Skladem u dodavatele v malém množství Odesíláme za 11-15 dnů

Až 30 dní na vrácení zboží

Zákazníci také koupili

Soul Sealer's School Life 3 Sarah Ozolnieks

Brožovaná

370 Kč

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

Brožovaná

576 Kč

Kronika rodinného chaosu Jiří May

Brožovaná

232 Kč

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

Brožovaná

131 Kč

Kahden maailman valissa Heli Santavuori

Brožovaná

406 Kč

L'Arte della Magia Frank G. Ripel

Brožovaná

824 Kč

Multi-Regime-Regulierung Britta Meinke

Brožovaná

1 214 Kč

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

Brožovaná

1 804 Kč

Abhängigkeitserkrankung als missglückter Selbstheilungsversuch Walter Linher

Brožovaná

1 668 Kč

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.