LIBRISTO
LIBROAMANTO
povinné
Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma
0
Doprava zdarma se Zásilkovnou nad 1 499 Kč
Kurýr DPD 69 PPL shop 49 Balíkovna 69 PPL kurýr 74 PPL box 39 Balíkovna 49 Výdejní místo DPD 49 Zásilkovna 39

Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.
Jazyk AngličtinaAngličtina
Kniha Pevná
Kniha Austin Protocol Compiler Mohamed G. (University of Texas at Austin) Gouda
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...
? points 265 b
2 646
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


Top
Soul Sealer's School Life 3 Sarah Ozolnieks / Kniha Brožovaná
common.buy 370
Kronika rodinného chaosu Jiří May / Kniha Brožovaná
common.buy 232
berger d'Andorre - El pastor d'Andorra Corinne Toupillier / Kniha Brožovaná
common.buy 131
Kahden maailman valissa Heli Santavuori / Kniha Brožovaná
common.buy 406
L'Arte della Magia Frank G. Ripel / Kniha Brožovaná
common.buy 824
Multi-Regime-Regulierung Britta Meinke / Kniha Brožovaná
common.buy 1 214

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.

Herečka & Polyglotka
EWA KASP pro
Přehrát video
Ewa Kasp
Libristo má největší výběr cizojazyčné literatury. Proto své knihy kupuji tady.

Informace o knize

Plný název Austin Protocol Compiler
Jazyk Angličtina
Vazba Kniha - Pevná
Datum vydání 2004
Počet stran 160
EAN 9780387232270
ISBN 9780387232270
Libristo kód 07184044
Váha 405
Rozměry 156 x 234 x 11
Darujte tuto knihu ještě dnes
Je to snadné
1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovaného

Mohlo by vás také zajímat


Hormonal Carcinogenesis Jonathan J. Li / Kniha Brožovaná
common.buy 2 357
What Number is God? Sarah Voss / Kniha Brožovaná
common.buy 869
Savage Horizons Cj Birch / Kniha Brožovaná
common.buy 358
Advanced Engine Performance Diagnosis James D. Halderman / Kniha Brožovaná
common.buy 4 360
De Principiis Origen of Alexandria / Kniha Brožovaná
common.buy 210
Cell Culture Methods for In Vitro Toxicology Alan Doyle / Kniha Brožovaná
common.buy 2 357
Fluoromethylation Reactions Sujith Chacko / Kniha Brožovaná
common.buy 1 933
Clinical Management of Intestinal Failure Christopher P. Duggan / Kniha Pevná
common.buy 6 155
Special Issue in Honor of Katherine Nelson Philip David Zelazo / Kniha Brožovaná
common.buy 927
Top
Nailbiter Volume 1: There Will Be Blood Joshua Williamson / Kniha Brožovaná
common.buy 218

Přihlášení

Přihlaste se ke svému účtu. Ještě nemáte Libristo účet? Vytvořte si ho nyní!

 
povinné
povinné

Nemáte účet? Získejte výhody Libristo účtu!

Díky Libristo účtu budete mít vše pod kontrolou.

Vytvořit Libristo účet
Knižní rádce Libroamiko
Ahoj, jsem Libroamiko, můžu pomoct?