Zistiť stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zabudnuté heslo
Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma
0
Doprava zadarmo s Packetou nad 59.99 €
Kuriér DPD 2.99 € Kuriér GLS 3.99 € Zberné miesto GLS 2.49 € SPS 3.99 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Slovenská pošta 3.99 € Zberné miesto DPD 2.99 € Packeta 2.99 €
phone Kontakt phoneAko nakupovať
Vážení zákazníci, z technických dôvodov nie je dnes zákaznícka podpora k dispozícii. Vašim požiadavkám sa budeme venovať nasledujúci pracovný deň. Ďakujeme za pochopenie.
Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

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
Nakladateľstvo Springer-Verlag New York Inc., november 2004
The TAP notation uses two types of semantics: an abstract semantics for protocol verifiers and a con...
? points 265 b
109.34 €
Skladom u dodávateľa v malom množstve Odosielame za 13-18 dní

Až 30 dní na vrátenie tovaru

Zákazníci tiež kúpili

berger d'Andorre - El pastor d'Andorra Corinne Toupillier / Kniha Brožovaná
common.buy 5.65 €
Pripravujeme
Kronika rodinného chaosu Jiří May / Kniha Brožovaná
common.buy 9.60 €
Top
Soul Sealer's School Life 3 Sarah Ozolnieks / Kniha Brožovaná
common.buy 16.28 €
Defending Legal Freedoms in Indonesia Tim Mann / Kniha Pevná
common.buy 189.86 €
Tutto in me è amore. Antologia delle lettere 1918-1926 Piero Gobetti / Kniha Brožovaná
common.buy 25.18 €
Kahden maailman valissa Heli Santavuori / Kniha Brožovaná
common.buy 17.89 €
L'Arte della Magia Frank G. Ripel / Kniha Brožovaná
common.buy 34.08 €
Multi-Regime-Regulierung Britta Meinke / Kniha Brožovaná
common.buy 53.10 €
Analisis para la Mejora del Proceso de Produccion de Lapices de Madera Roman A. Mora Gtz. / Kniha Brožovaná
common.buy 79.20 €
Abhängigkeitserkrankung als missglückter Selbstheilungsversuch Walter Linher / Kniha Brožovaná
common.buy 68.98 €

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 pre
Prehrať video
Ewa Kasp
Libristo má najväčší výber cudzojazyčnej literatúry. Preto si knihy kupujem tu.

Informácie o knihe

Celý názov Austin Protocol Compiler
Autor Mohamed G. (University of Texas at Austin) Gouda
Jazyk Angličtina
Väzba Kniha - Pevná
Dátum vydania 2004
Počet strán 160
EAN 9780387232270
ISBN 9780387232270
Libristo kód 07184044
Nakladateľstvo Springer-Verlag New York Inc.
Váha 405
Rozmery 156 x 234 x 11

Kategórie

Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo > Prekladače a interpretre
Výpočtové a informačné technológie > Informačné technológie: všeobecné témy
Výpočtové a informačné technológie > Informatika
Darujte túto knihu ešte dnes
Je to jednoduché
1 Pridajte knihu do košíka a vyberte možnosť doručiť ako darček 2 Obratom Vám zašleme poukaz 3 Knihu zašleme na adresu obdarovaného

Mohlo by vás tiež zaujímať

Hormonal Carcinogenesis Jonathan J. Li / Kniha Brožovaná
common.buy 102.97 €
Top
Nailbiter Volume 1: There Will Be Blood Joshua Williamson / Kniha Brožovaná
common.buy 8.39 €
Dough: Simple Contemporary Bread Richard Bertinet / Kniha Pevná
common.buy 18.30 €
De Principiis Origen of Alexandria / Kniha Brožovaná
common.buy 9.30 €
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 23.15 €
Advanced Engine Performance Diagnosis James D. Halderman / Kniha Brožovaná
common.buy 191.48 €
Savage Horizons Cj Birch / Kniha Brožovaná
common.buy 14.76 €
MASTERs' TALES of NOW Verling CHAKO Priest Ph.D. / Kniha Pevná
common.buy 24.07 €
I Can Relate To That! Howard / Kniha Brožovaná
common.buy 17.39 €
Changing HIV/AIDS Landscape World Bank / Kniha Brožovaná
common.buy 43.69 €
Cell Culture Methods for In Vitro Toxicology Alan Doyle / Kniha Brožovaná
common.buy 102.97 €
Changing Legal Regulation of Cohabitation Rebecca Probert / Kniha Pevná
common.buy 138.58 €
Positivism, Presupposition and Current Controversies (Theoretical Logic in Sociology) Jeffrey C. Alexander / Kniha Pevná
common.buy 199.78 €
Clinical Management of Intestinal Failure Christopher P. Duggan / Kniha Pevná
common.buy 254.40 €
Special Issue in Honor of Katherine Nelson Philip David Zelazo / Kniha Brožovaná
common.buy 38.33 €
What Number is God? Sarah Voss / Kniha Brožovaná
common.buy 37.82 €
Fluoromethylation Reactions Sujith Chacko / Kniha Brožovaná
common.buy 79.90 €
Revisiting the Corruption of the New Testament Philip Miller / Kniha Brožovaná
common.buy 21.74 €
Pseudo-Science of B. F. Skinner Tibor R. Machan / Kniha Brožovaná
common.buy 53.00 €

Prihlásenie

Prihláste sa k svojmu účtu. Ešte nemáte Libristo účet? Vytvorte si ho teraz!

 
povinné
povinné
Zabudnuté heslo

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

Vďaka Libristo účtu budete mať všetko pod kontrolou.

Vytvoriť Libristo účet
Knižný radca Libroamiko
Ahoj, som Libroamiko, môžem pomôcť?