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

4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings

Език Английски езикАнглийски език
Книга С меки корици
Книга Automated Technology for Verification and Analysis Susanne Graf
Код Либристо: 01564910
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, октомври 2006
This book constitutes the refereed proceedings of the Third International Symposium on Automated Tec... Цялото описание
? points 132 b
54.67 €
106.92  лв
Външен склад Изпращаме след 5-8 дни

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

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

Reise Know-How Wohnmobil-Tourguide Südtirol mit Gardasee Michael Moll / Книга С меки корици
common.buy 23.80 € 46.54 лв
Tragizm polityki naszych czasów. Strach, fatum i brzemię władzy Robert D. Kaplan / Книга С меки корици
common.buy 13.19 € 25.81 лв
Terror In Taos Chet Cunningham Аудиокнига MP3
common.buy 26.76 € 52.34 лв
Révélations Galactiques Tome 2 - Sortir de la matrice Givaudan / Книга С меки корици
common.buy 23.69 € 46.34 лв
Familienplaner 2026 - In Gedanken auf den Seychellen mit 5 Spalten (Wandkalender, 21 x 45 cm) CALVENDO Calvendo / Календар/тефтер Календар
common.buy 20.83 € 40.75 лв
Wiedergutmachung der Sünden Natasha Knight / Книга С меки корици
common.buy 15.79 € 30.89 лв
Kuroko's Basketball Season 2 Vol.1 (Blu-ray) / Видео Blu-ray
common.buy 64.18 € 125.52 лв
Preparation A La Mort. 9e Edition Jean Crasset / Книга С меки корици
common.buy 17.51 € 34.24 лв
Gesammelte Schriften: Die Grundung Prags: Ein Historisch-Romantisches Drama Clemens Brentano / Книга С меки корици
common.buy 28.99 € 56.71 лв
August Schneegans, 1835-1898: Memoiren Ein Beitrag Zur Geschichte Des Elsasses in Der Ubergangszeit (1904) August Schneegans / Книга С меки корици
common.buy 40.32 € 78.86 лв
Viage De Espa?a, Volume 2 Antonio Ponz / Книга С меки корици
common.buy 27.49 € 53.76 лв
EL LLIBRE QUE ES MOU ANNE-SOPHIE BAUMANN / Книга С твърди корици
common.buy 14.81 € 28.96 лв
Kellarissa tuulee P IVIKKI IIVARI / Книга С меки корици
common.buy 9.61 € 18.79 лв
Amor fou MARTA SANZ / Книга С меки корици
common.buy 28.79 € 56.30 лв
Almanach českých šlechtických a rytířských rodů 2028 Karel Vavřínek / Книга Лист
common.buy 8.21 € 16.05 лв
Dictionnaire Historique de l'Ancien Langage Francois.Tome IV. Chie-Deca De Sainte-Palaye-J-B / Книга С меки корици
common.buy 32.22 € 63.01 лв
16 Romantische Welterfolge, 1 Audio-CD arious / Аудио Аудио компактдиск
common.buy 11.53 € 22.55 лв

This book constitutes the refereed proceedings of the Third International Symposium on Automated Technology for Verification and Analysis, ATVA 2006, held in Beijing, China in October 2006.§The 35 revised full papers presented together with abstracts of three keynote papers were carefully reviewed and selected from 137 submissions.

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

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

Пълно заглавие Automated Technology for Verification and Analysis
Автор Susanne Graf, Wenhui Zhang
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2006
Брой страници 546
Баркод 9783540472377
ISBN 3540472371
Код Либристо 01564910
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Тегло 1710
Размери 155 x 235 x 30

Категории

Computing & Information Technology > Computer science > Artificial intelligence > Expert systems / knowledge-based systems
Computing & Information Technology > Graphical & digital media applications > Computer-aided design (CAD)
Computing & Information Technology > Computer hardware > Network hardware
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Computer networking & communications
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателя

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

Guillaume Michael Arno Bender / Книга С меки корици
common.buy 23.95 € 46.85 лв
The Supplies of Room Nine Learn to Shine Jessica Lewis / Книга С твърди корици
common.buy 15.22 € 29.77 лв
All His Spies Stephen Alford / Книга С твърди корици
common.buy 36.16 € 70.73 лв
Top
Anne of Ingleside L M Montgomery / Книга С меки корици
common.buy 12.68 € 24.79 лв
The Ash Beneath My Feet Lucia Fudge / Книга С меки корици
common.buy 10.23 € 20.01 лв
Homemade Bath Bombs and Bubble Baths: Simple to Make DIY Bath Bomb and Bubble Bath Recipes Josephine Simon / Книга С меки корици
common.buy 10.54 € 20.62 лв
Nowhere to Hide R. SAMUEL BATY / Книга С меки корици
common.buy 9.19 € 17.98 лв
Quicksilver War: Syria, Iraq and the Spiral of Conflict William Harris / Книга С твърди корици
common.buy 34.29 € 67.07 лв
Enigma En El Laberinto De Maiz Pedro Tena Tena / Книга С меки корици
common.buy 16.68 € 32.62 лв
Were- Patricia Bray / Книга С меки корици
common.buy 15.79 € 30.89 лв
DBT Therapy Workbook for Teens & Parents Kardas Publishig / Книга С меки корици
common.buy 19.48 € 38.11 лв
Top
My Hero Academia: Smash!!, Vol. 5 Kohei Horikoshi / Книга С меки корици
common.buy 8.47 € 16.56 лв
Adobe Photoshop Lightroom Classic Classroom in a Book (2022 release) Rafael Concepcion / Книга С меки корици
common.buy 56.80 € 111.08 лв
Antiklotzius (1762) Pieter Burman / Книга С меки корици
common.buy 25.15 € 49.18 лв
What's Wrong with the World G. K. Chesterson / Книга С твърди корици
common.buy 15.85 € 30.99 лв
HCG-DIET; What Dr. Simeons Really Said Susan Margret Wimmer / Книга С меки корици
common.buy 23.85 € 46.64 лв
Change and Progress in Modern Science Joseph C. Pitt / Книга С твърди корици
common.buy 184.48 € 360.82 лв
Perfect Imperfect MCCARTNEY KAREN / Книга С твърди корици
common.buy 37.57 € 73.48 лв
Beyond the Lettered City Joanne Rappaport / Книга С меки корици
common.buy 48.48 € 94.82 лв
Due Diligence for Global Deal Making - The Definitive Guide to Cross-Border Mergers and Acquisitions, Joint Ventures, Financings, and Stra Rosenbloom / Книга С твърди корици
common.buy 67.50 € 132.02 лв
Top
Harry Potter and the Goblet of Fire (Harry Potter, Book 4) (Interactive Illustrated Edition) Joanne K. Rowling / Книга С твърди корици
common.buy 37.98 € 74.29 лв
Подготвяме
Dance of the Sleepwalkers Calabria / Книга С твърди корици
common.buy 47.18 € 92.28 лв
Подготвяме
THE WAY OF JESUS Rebecca Pippert / Книга С меки корици
common.buy 10.39 € 20.32 лв
Bring Your Vision To Life Ralph McCall / Книга С меки корици
common.buy 9.19 € 17.98 лв

Вход

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

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

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

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

Създаване на акаунт за Libristo