Проверка на състоянието на поръчката
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€

Automated Technology for Verification and Analysis

9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011, Proceedings

Език Английски езикАнглийски език
Книга С меки корици
Книга Automated Technology for Verification and Analysis Tevfik Bultan
Код Либристо: 01658982
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, септември 2011
This book constitutes the refereed proceedings of the 9th International Symposium on Automated Techn... Цялото описание
? points 142 b
58.22 €
113.87  лв
Външен склад Изпращаме след 14-21 дни

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

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

FLOIRAC EN QUERCY CARRIERE / Книга С меки корици
common.buy 33.25 € 65.02 лв
Les morues Lecoq / Книга С меки корици
common.buy 27.28 € 53.36 лв
Notre échappatoire bernard / Книга С меки корици
common.buy 19.22 € 37.58 лв
Hausbot Petr Horký / Книга С меки корици
common.buy 13.77 € 26.93 лв
JuJutsu Alfonso Torregrossa / Книга С меки корици
common.buy 33.61 € 65.73 лв
AHA! Rodičovství - Praktický průvodce Laura Markhamová / Книга С меки корици
common.buy 17.16 € 33.56 лв
Visualisierung des Wunderbaren Jutta Eming / Книга С твърди корици
common.buy 63.82 € 124.83 лв
Love by Kalypso Kalypso / Книга С меки корици
common.buy 30.78 € 60.20 лв
Изгодно
Benninghoff/Drenckhahn, Anatomie Detlev Drenckhahn / Книга С твърди корици
common.buy 152.63 € 298.52 лв
Anglicky v běžných situacích Jitka Krejčíková / Книга С меки корици
common.buy 4.26 € 8.33 лв
Sustentos Pixabay - / Книга С меки корици
common.buy 8.06 € 15.77 лв
Quinua Carlos Sopán Benaute / Книга С меки корици
common.buy 51.49 € 100.71 лв
Die Christel von der Post, 1 DVD Karl Anton / Видео DVD
common.buy 12.79 € 25.02 лв
Kuno Kopfgeldjäger: Erster Band Christian Franz-Josef Vollmer / Книга С меки корици
common.buy 16.34 € 31.95 лв
Anatomia dell'amore Eva Pierrakos / Книга С меки корици
common.buy 7.60 € 14.87 лв
Album Contemporain Europeen: Biogr. Historiques Avec Portraits Photographiques Lallier-J / Книга С меки корици
common.buy 19.11 € 37.38 лв
letzte Komoediant Karl Von Holtei / Книга С меки корици
common.buy 25.38 € 49.64 лв
Hoerspiel als Widerstand am Beispiel von Todesraten von Elfriede Jelinek und Olga Neuwirth Verena Wiesner / Книга С меки корици
common.buy 17.93 € 35.07 лв
justicia penal negociada - Un analisis comparativo entre los procesos penales espanol y peruano Mercedes Rosemarie Herrera Guerrero / Книга С меки корици
common.buy 45.01 € 88.04 лв
Camden Town Advanced - Globalization and global challenges Katrin Hübschen / Книга С меки корици
common.buy 25.28 € 49.44 лв
Na Kanadském severu Leoš Šimánek / Книга С твърди корици
common.buy 13.72 € 26.83 лв

This book constitutes the refereed proceedings of the 9th International Symposium on Automated Technology for Verification and Analysis, ATVA 2011, held in Taipei, Taiwan, in October 2011.§The 23 revised regular papers presented together with 5 invited papers, 11 short papers, and 2 tool papers, were carefully reviewed and selected from 75 submissions. The papers address all theoretical and practical aspects of automated analysis, verification and synthesis; thus providing a forum for interaction between the regional and the international research communities and industry in the field.

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

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

Пълно заглавие Automated Technology for Verification and Analysis
Автор Tevfik Bultan, Pao-Ann Hsiung
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2011
Брой страници 532
Баркод 9783642243714
ISBN 3642243711
Код Либристо 01658982
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Тегло 764
Размери 155 x 235 x 30

Категории

Computing & Information Technology > Computer hardware > Network hardware
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Operating systems
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателя

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

Hudson's Marianne Weldon / Книга С твърди корици
common.buy 24.41 € 47.73 лв
Contaminated Soil J.W. Assink / Книга С меки корици
common.buy 107.87 € 210.97 лв
Bear Under The Stairs Helen Cooper / Книга С меки корици
common.buy 9.19 € 17.98 лв
Asylum Christi Edward Gilliat / Книга С меки корици
common.buy 24.25 € 47.43 лв
"Roland" Roger M Hart / Книга С меки корици
common.buy 19.16 € 37.48 лв
Makeology Erica Halverson / Книга С меки корици
common.buy 53.08 € 103.82 лв
Uncomfortably Numb Sharon English / Книга С меки корици
common.buy 18.50 € 36.18 лв
Play and Other Stories Stephen Dixon / Книга С меки корици
common.buy 10.12 € 19.79 лв
Poetry 2005 by 6th Grade Students of Fairfield Middle School Ann Gookin / Книга С меки корици
common.buy 14.49 € 28.34 лв
From A B to Z: A Genealogy Margaret Zeller Garrett / Книга С твърди корици
common.buy 50.26 € 98.29 лв
Quantification in the Theory of Grammar Taisuke Nishigauchi / Книга С меки корици
common.buy 118.66 € 232.08 лв
Alas! Rhoda Broughton / Книга С твърди корици
common.buy 34.22 € 66.93 лв
Young Whit and the Phantasmic Confabulator Dave Arnold / Книга С твърди корици
common.buy 13.51 € 26.42 лв
Spy Ships: One Hundred Years of Intelligence Collection by Ships and Submarines Lee J. Mathers / Книга С твърди корици
common.buy 26.62 € 52.06 лв
Wahoo Sam Crawford: The King of Sluggers Kent Krause / Книга С меки корици
common.buy 14.69 € 28.74 лв
In the Wide, Open Air Charlotte Amelia Poe / Книга С меки корици
common.buy 7.19 € 14.06 лв
Teaching a Stone to Talk Annie Dillard / Книга С меки корици
common.buy 12.53 € 24.52 лв
PLAY EM RIGHT LATIN 2 ERIK VELDKAMP / Книга binding.
common.buy 22.97 € 44.92 лв
The Fascinating Bug Book for Kids Krystal Monique Toney / Книга С меки корици
common.buy 12.79 € 25.02 лв
Science SQC, New Quality Control Principle Kakuro Amasaka / Книга С меки корици
common.buy 118.66 € 232.08 лв
Old-Time Primitive Methodism in Canada, 1829-1884 R. P. Hopper / Книга С меки корици
common.buy 24.87 € 48.64 лв
YOU'VE GOT TO LOSE TO WIN Will Simpson / E-книга Adobe ePub DRM
common.buy 19.52 € 38.19 лв
Formation of English Neo-Classical Thought James William Johnson / Книга С твърди корици
common.buy 194.31 € 380.04 лв
Kitchen-Dweller's Testimony Ladan Osman / Книга С меки корици
common.buy 12.74 € 24.92 лв

Вход

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

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

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

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

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