Проверка на състоянието на поръчката
LIBRISTO
LIBROAMANTO
задължително
Забравена парола
Станете част от общност от любители на книгите от цял свят и получавате много предимства. Създай на безплатен акаунт
0
Безплатна доставка със Еконт над 69.99 €
Куриер Speedy 3.49 € Пункт на Speedy 3.49 € ЕКОНТ 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday 3.99 € Sameday box 3.99 € Box Now 3.99 €
phone Контакт phoneКак се пазарува?
Над 4 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

Austin Protocol Compiler

Език Английски езикАнглийски език
Книга С твърди корици
Книга Austin Protocol Compiler Mohamed G. (University of Texas at Austin) Gouda
Код Либристо: 07184044
Издателство Springer-Verlag New York Inc., ноември 2004
The TAP notation uses two types of semantics: an abstract semantics for protocol verifiers and a con...
? points 289 b
119.28 €
233.29  лв
Външен склад в ограничено количество Изпращаме след 13-18 дни

До 30 дни за връщане на стоки

Клиентите са закупили също

Top
Soul Sealer's School Life 3 Sarah Ozolnieks / Книга С меки корици
common.buy 17.12 € 33.48 лв
Tutto in me è amore. Antologia delle lettere 1918-1926 Piero Gobetti / Книга С меки корици
common.buy 26.50 € 51.83 лв
Kronika rodinného chaosu Jiří May / Книга С меки корици
common.buy 10.67 € 20.87 лв
berger d'Andorre - El pastor d'Andorra Corinne Toupillier / Книга С меки корици
common.buy 5.93 € 11.59 лв
Kahden maailman valissa Heli Santavuori / Книга С меки корици
common.buy 18.82 € 36.81 лв
L'Arte della Magia Frank G. Ripel / Книга С меки корици
common.buy 35.58 € 69.59 лв
Multi-Regime-Regulierung Britta Meinke / Книга С меки корици
common.buy 55.74 € 109.03 лв
Analisis para la Mejora del Proceso de Produccion de Lapices de Madera Roman A. Mora Gtz. / Книга С меки корици
common.buy 83.59 € 163.49 лв
Abhängigkeitserkrankung als missglückter Selbstheilungsversuch Walter Linher / Книга С меки корици
common.buy 72.30 € 141.40 лв

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.

Героиня & Полиглот
EWA KASP за
Пусни видеото
Ewa Kasp
В Libristo има най-богатия избор от чуждоезична литература. Затова купувам книгите си тук.

Информация за книгата

Пълно заглавие Austin Protocol Compiler
Автор Mohamed G. (University of Texas at Austin) Gouda
Език Английски език
Корици Книга - С твърди корици
Дата на издаване 2004
Брой страници 160
Баркод 9780387232270
ISBN 9780387232270
Код Либристо 07184044
Издателство Springer-Verlag New York Inc.
Тегло 405
Размери 156 x 234 x 11

Категории

Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Information technology: general issues
Computing & Information Technology > Computer science
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателя

Може би ще Ви заинтересува

Hormonal Carcinogenesis Jonathan J. Li / Книга С меки корици
common.buy 108.24 € 211.71 лв
What Number is God? Sarah Voss / Книга С меки корици
common.buy 39.60 € 77.46 лв
Savage Horizons Cj Birch / Книга С меки корици
common.buy 15.72 € 30.75 лв
Advanced Engine Performance Diagnosis James D. Halderman / Книга С меки корици
common.buy 202.05 € 395.18 лв
De Principiis Origen of Alexandria / Книга С меки корици
common.buy 9.90 € 19.36 лв
Cell Culture Methods for In Vitro Toxicology Alan Doyle / Книга С меки корици
common.buy 108.24 € 211.71 лв
Fluoromethylation Reactions Sujith Chacko / Книга С меки корици
common.buy 83.80 € 163.90 лв
Positivism, Presupposition and Current Controversies (Theoretical Logic in Sociology) Jeffrey C. Alexander / Книга С твърди корици
common.buy 208.50 € 407.79 лв
Clinical Management of Intestinal Failure Christopher P. Duggan / Книга С твърди корици
common.buy 265.39 € 519.05 лв
Special Issue in Honor of Katherine Nelson Philip David Zelazo / Книга С меки корици
common.buy 40.07 € 78.36 лв
Top
Nailbiter Volume 1: There Will Be Blood Joshua Williamson / Книга С меки корици
common.buy 9.54 € 18.65 лв

Вход

Влезте в акаунта си. Още нямате акаунт за Libristo? Създайте го сега!

 
задължително
задължително
Забравена парола

Нямате акаунт? Използвайте предимствата на акаунта за Libristo!

Благодарение на акаунта за Libristo държите всичко под контрол.

Създаване на акаунт за Libristo
Книжен съветник Libroamiko
Здравейте, аз съм Libroamiko, мога ли да помогна?