Проверка на състоянието на поръчката
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 148 b
61.19 €
119.68  лв
Външен склад в ограничено количество Изпращаме след 11-15 дни

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

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

Hausbot Petr Horký / Книга С меки корици
common.buy 13.88 € 27.15 лв
Na Kanadském severu Leoš Šimánek / Книга С твърди корици
common.buy 13.83 € 27.05 лв
Les morues Lecoq / Книга С меки корици
common.buy 28.81 € 56.34 лв
Sustentos Pixabay - / Книга С меки корици
common.buy 8.13 € 15.90 лв
Die Christel von der Post, 1 DVD Karl Anton / Видео DVD
common.buy 12.90 € 25.22 лв
Camden Town Advanced - Globalization and global challenges Katrin Hübschen / Книга С меки корици
common.buy 25.80 € 50.46 лв
Anglicky v běžných situacích Jitka Krejčíková / Книга С меки корици
common.buy 4.04 € 7.89 лв
justicia penal negociada - Un analisis comparativo entre los procesos penales espanol y peruano Mercedes Rosemarie Herrera Guerrero / Книга С меки корици
common.buy 45.39 € 88.77 лв
Hoerspiel als Widerstand am Beispiel von Todesraten von Elfriede Jelinek und Olga Neuwirth Verena Wiesner / Книга С меки корици
common.buy 18.13 € 35.46 лв

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 Книгата ще пристигне на адреса на получателя

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

Quantification in the Theory of Grammar Taisuke Nishigauchi / Книга С меки корици
common.buy 119.64 € 234.00 лв
Contaminated Soil J.W. Assink / Книга С меки корици
common.buy 108.76 € 212.72 лв
"Roland" Roger M Hart / Книга С меки корици
common.buy 19.32 € 37.79 лв
Makeology Erica Halverson / Книга С меки корици
common.buy 51.45 € 100.63 лв
Play and Other Stories Stephen Dixon / Книга С меки корици
common.buy 10.20 € 19.96 лв
Hudson's Marianne Weldon / Книга С твърди корици
common.buy 24.61 € 48.13 лв
Alas! Rhoda Broughton / Книга С твърди корици
common.buy 34.51 € 67.49 лв
Top
Teaching a Stone to Talk Annie Dillard / Книга С меки корици
common.buy 12.69 € 24.82 лв
PLAY EM RIGHT LATIN 2 ERIK VELDKAMP / Книга binding.
common.buy 24.40 € 47.72 лв
Bear Under The Stairs Helen Cooper / Книга С меки корици
common.buy 9.32 € 18.23 лв
Inhuman Power Nick Dyer-Witheford / Книга С твърди корици
common.buy 110.37 € 215.86 лв
Old-Time Primitive Methodism in Canada, 1829-1884 R. P. Hopper / Книга С меки корици
common.buy 25.07 € 49.04 лв
Wahoo Sam Crawford: The King of Sluggers Kent Krause / Книга С меки корици
common.buy 14.81 € 28.98 лв
The Fascinating Bug Book for Kids Krystal Monique Toney / Книга С меки корици
common.buy 12.90 € 25.22 лв
Spy Ships: One Hundred Years of Intelligence Collection by Ships and Submarines Lee J. Mathers / Книга С твърди корици
common.buy 26.84 € 52.49 лв
Young Whit and the Phantasmic Confabulator Dave Arnold / Книга С твърди корици
common.buy 13.62 € 26.64 лв
Sherlock Holmes Far and Wide Gretchen Altabef / Книга С твърди корици
common.buy 29.79 € 58.26 лв
YOU'VE GOT TO LOSE TO WIN Will Simpson / E-книга Adobe ePub DRM
common.buy 19.63 € 38.40 лв
Sea Change: The Exclusive Economic Zone and Governance Institutions for Living Marine Resources Syma A. Ebbin / Книга С твърди корици
common.buy 119.85 € 234.40 лв
English World 1 Grammar Practice Book Liz Hocking / Книга С меки корици
common.buy 11.19 € 21.88 лв
Business Lessons from a Radical Industrialist Ray C Anderson / Книга С меки корици
common.buy 18.75 € 36.68 лв
Kitchen-Dweller's Testimony Ladan Osman / Книга С меки корици
common.buy 12.85 € 25.12 лв
Science SQC, New Quality Control Principle Kakuro Amasaka / Книга С меки корици
common.buy 119.64 € 234.00 лв
Macrofilosofia de La Globalizacion y del Pensamiento Unico Gon Al Mayos / Книга С меки корици
common.buy 36.99 € 72.35 лв

Вход

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

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

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

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

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