Zjistit stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zapomenuté heslo
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 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Zásilkovna 39 Kč Výdejní místo DPD 49 Kč PPL shop 49 Kč Balíkovna 49 Kč
phone Kontakt phoneJak nakupovat
Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Austin Protocol Compiler

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 275 b
2 749 Kč
Skladem u dodavatele Odesíláme za 9-13 dnů

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

Zákazníci také koupili

Soul Sealer's School Life 3 Sarah Ozolnieks / Kniha Brožovaná
common.buy 370 Kč
Defending Legal Freedoms in Indonesia Tim Mann / Kniha Pevná
common.buy 5 806 Kč
Die kaiserliche Münzprägung Milets Julius Roch / Kniha Pevná
common.buy 934 Kč
Kronika rodinného chaosu Jiří May / Kniha Brožovaná
common.buy 232 Kč
Pérennité de la rentabilité : un défi pour les dirigeants de banque Kokouvi Akakpo / Kniha Brožovaná
common.buy 1 176 Kč
Tutto in me è amore. Antologia delle lettere 1918-1926 Piero Gobetti / Kniha Brožovaná
common.buy 575 Kč
berger d'Andorre - El pastor d'Andorra Corinne Toupillier / Kniha Brožovaná
common.buy 131 Kč
Kahden maailman valissa Heli Santavuori / Kniha Brožovaná
common.buy 406 Kč
L'Arte della Magia Frank G. Ripel / Kniha Brožovaná
common.buy 755 Kč
Multi-Regime-Regulierung Britta Meinke / Kniha Brožovaná
common.buy 1 214 Kč
Analisis para la Mejora del Proceso de Produccion de Lapices de Madera Roman A. Mora Gtz. / Kniha Brožovaná
common.buy 1 804 Kč
Abhängigkeitserkrankung als missglückter Selbstheilungsversuch Walter Linher / Kniha Brožovaná
common.buy 1 662 Kč
Formgeschichte der Sangspruchdichtung des 12. bis 15. Jahrhunderts Horst Brunner / Kniha Pevná
common.buy 2 868 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.

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
Autor Mohamed G. (University of Texas at Austin) Gouda
Jazyk Angličtina
Vazba Kniha - Pevná
Datum vydání 2004
Počet stran 160
EAN 9780387232270
ISBN 9780387232270
Libristo kód 07184044
Nakladatelství Springer-Verlag New York Inc.
Váha 405
Rozměry 156 x 234 x 11

Kategorie

Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Překladače a interpretry
Výpočetní a informační technologie > Informační technologie: obecná témata
Výpočetní a informační technologie > Informatika
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 356 Kč
Changing Legal Regulation of Cohabitation Rebecca Probert / Kniha Pevná
common.buy 3 444 Kč
Advanced Engine Performance Diagnosis James D. Halderman / Kniha Brožovaná
common.buy 4 359 Kč
Savage Horizons Cj Birch / Kniha Brožovaná
common.buy 367 Kč
Music Law in the Digital Age - 3rd Edition: Copyright Essentials for Today's Music Business: Copyright Essentials for Today's Music Business Bargfrede / Kniha Brožovaná
common.buy 557 Kč
Field Guide to Lies and Statistics Daniel Levitin / E-kniha Adobe ePub DRM
common.buy 254 Kč
History of Greece, Volume 2 Thirlwall / Kniha Pevná
common.buy 926 Kč
Top
De Principiis Origen of Alexandria / Kniha Brožovaná
common.buy 215 Kč
MASTERs' TALES of NOW Verling CHAKO Priest Ph.D. / Kniha Pevná
common.buy 522 Kč
I Can Relate To That! Howard / Kniha Brožovaná
common.buy 383 Kč
Changing HIV/AIDS Landscape World Bank / Kniha Brožovaná
common.buy 1 117 Kč
Cell Culture Methods for In Vitro Toxicology Alan Doyle / Kniha Brožovaná
common.buy 2 356 Kč
Fluoromethylation Reactions Sujith Chacko / Kniha Brožovaná
common.buy 1 928 Kč
Positivism, Presupposition and Current Controversies (Theoretical Logic in Sociology) Jeffrey C. Alexander / Kniha Pevná
common.buy 5 806 Kč
Clinical Management of Intestinal Failure Christopher P. Duggan / Kniha Pevná
common.buy 6 941 Kč
Special Issue in Honor of Katherine Nelson Philip David Zelazo / Kniha Brožovaná
common.buy 998 Kč
Dough: Simple Contemporary Bread Richard Bertinet / Kniha Pevná
common.buy 453 Kč
Pseudo-Science of B. F. Skinner Tibor R. Machan / Kniha Brožovaná
common.buy 1 251 Kč
Revisiting the Corruption of the New Testament Philip Miller / Kniha Brožovaná
common.buy 618 Kč
What Number is God? Sarah Voss / Kniha Brožovaná
common.buy 876 Kč
Nailbiter Volume 1: There Will Be Blood Joshua Williamson / Kniha Brožovaná
common.buy 214 Kč

Přihlášení

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

 
povinné
povinné
Zapomenuté heslo

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?