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

Computer Aided Verification

26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014, Proceedings

Език Английски езикАнглийски език
Книга С меки корици
Книга Computer Aided Verification Armin Biere
Код Либристо: 02775219
Издателство Springer International Publishing AG, август 2014
This book constitutes the proceedings of the 26th International Conference on Computer Aided Verific... Цялото описание
? points 263 b
107.91 €
211.06  лв
Външен склад Изпращаме след 5-8 дни

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

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

Harry Potter - Kit de pâtisserie et moules - Fabrique ton Vif d'Or en chocolat ! The Wizarding World / Книга С твърди корици
common.buy 18.04 € 35.29 лв
Lettere. Testo greco a fronte Platone / Книга С твърди корици
common.buy 51.00 € 99.74 лв
Charles Hueber, le maire oublié de Strasbourg KRIEGER / Книга С меки корици
common.buy 31.20 € 61.03 лв
Abalone Go Michel Lalet / Игра/играчка Игра
common.buy 14.49 € 28.35 лв
Rundreise Kalifornien mit Las Vegas (Wandkalender 2026 DIN A4 quer), CALVENDO Monatskalender Calvendo / Календар/тефтер Календар
common.buy 20.61 € 40.31 лв
Los frutos siderales MORA ALAMEDA / Книга С меки корици
common.buy 15.47 € 30.26 лв
Procvičujeme si Psaní y/ý a i/í po tvrdých a měkkých souhláskách a psaní ě Vlasta Švejdová / Книга С меки корици
common.buy 2.67 € 5.22 лв
DAN DA DAN 14 Yukinobu Tatsu / Книга С меки корици
common.buy 9.66 € 18.89 лв
Moneta Regis: Konigliche Munzstatten Und Konigliche Munzpolitik in Der Stauferzeit Norbert Kamp / Книга С твърди корици
common.buy 103.75 € 202.91 лв
Tief ist der Brunnen der Vergangenheit Gerhard Danzer / Книга С твърди корици
common.buy 26.68 € 52.18 лв
Sneaker Obsession Pauwels / Книга С меки корици
common.buy 21.33 € 41.72 лв
Isola d'Elba e Pianosa Russo William Dello / Книга С меки корици
common.buy 16.55 € 32.37 лв
The Compound Effect Darren Hardy / Книга С меки корици
common.buy 19.27 € 37.70 лв
Sestra lovca bosoriek Beth Underdown / Книга С твърди корици
common.buy 9.87 € 19.30 лв
Mut ist der Anfang vom Gluck Heike Karen Gurtler / E-книга Adobe ePub DRM
common.buy 13.77 € 26.94 лв
Einführung in das GmbH-Recht Werner Borns / Книга С меки корици
common.buy 42.05 € 82.24 лв
Kulturelle Diversitat und die Modeklammer - der Einfluss von kultureller Diversitat auf international agierende Unternehmen in der Modebranche Johannes Lenhard / Книга С меки корици
common.buy 17.94 € 35.08 лв
Imageanalyse der TSG Ludwigshafen-Friesenheim Sebastian Bronner / Книга С меки корици
common.buy 45.03 € 88.08 лв
Lessings Werke Gotthold E. Lessing / Книга С меки корици
common.buy 74.85 € 146.40 лв
Als Vagabund um die Erde Harry Franck / Книга С меки корици
common.buy 65.55 € 128.20 лв
Hardcore Training Ellington Darden / Книга С меки корици
common.buy 22.93 € 44.84 лв
Untersuchung Des W rmeinhalts, Der W rmeleitf higkeit Und Der Elektrischen Leitf higkeit Von Schmelzkalk Wilhelm Anton Fischer / Книга С меки корици
common.buy 55.57 € 108.69 лв
Beschaffungsplanung Und Budgetierung Heinz Stark / Книга С меки корици
common.buy 55.57 € 108.69 лв
25 Jahre Kaiser Wilhelm-Gesellschaft Max Planck / Книга С меки корици
common.buy 55.57 € 108.69 лв

This book constitutes the proceedings of the 26th International Conference on Computer Aided Verification, CAV 2014, held as part of the Vienna Summer of Logic, VSL 2014, in Vienna, Austria, in July 2014.§§The 46 regular papers and 11 short papers presented in this volume were carefully reviewed and selected from a total of 175 regular and 54 short paper submissions. The contributions are organized in topical sections named: software verification; automata; model checking and testing; biology and hybrid systems; games and synthesis; concurrency; SMT and theorem proving; bounds and termination; and abstraction.

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

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

Пълно заглавие Computer Aided Verification
Автор Armin Biere, Roderick Bloem
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2014
Брой страници 877
Баркод 9783319088662
ISBN 3319088661
Код Либристо 02775219
Издателство Springer International Publishing AG
Тегло 1352
Размери 155 x 235 x 48

Категории

Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Operating systems
Computing & Information Technology > Computer networking & communications
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателя

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

Dynamic Systems Models Josif A. Boguslavskiy / Книга С твърди корици
common.buy 107.91 € 211.06 лв
From the Garden Michael Dahl / Книга С меки корици
common.buy 8.38 € 16.38 лв
750 Spanish Verbs and Their Uses Zamir / Книга С меки корици
common.buy 30.28 € 59.22 лв
Ecosystems and Human Health Dakubo / Книга С твърди корици
common.buy 115.01 € 224.93 лв
British Woodies from the 1920s to the 1950s Colin Peck / Книга С меки корици
common.buy 15.83 € 30.96 лв
Anti-Death League Kingsley Amis / Книга С меки корици
common.buy 12.54 € 24.53 лв
How to Read the Chinese Novel David L. Rolston / Книга С меки корици
common.buy 109.30 € 213.77 лв
Mobilizing India Tejaswini Niranjana / Книга С меки корици
common.buy 37.58 € 73.50 лв
Fundamental Research in Moral Development Bill Puka / Книга С твърди корици
common.buy 73.72 € 144.19 лв
Moncada Webster Hare Paul Webster Hare / Книга С меки корици
common.buy 17.12 € 33.47 лв
Elephants Can't Hide Forever Pete Plenge / Книга С меки корици
common.buy 17.37 € 33.98 лв
Classification of Pseudo-reductive Groups (AM-191) Gopal Prasad / Книга С меки корици
common.buy 107.19 € 209.65 лв
Encyclopedia of Card Tricks Glenn Gravatt / Книга С меки корици
common.buy 14.60 € 28.55 лв
Shades of Earl Grey Laura Childs / Книга С меки корици
common.buy 6.94 € 13.56 лв
Violence Michel Wieviorka / E-книга Adobe ePub DRM
common.buy 55.98 € 109.50 лв
Omega Factor John G. Henning / Книга С меки корици
common.buy 16.45 € 32.17 лв
Censored 1996: The 1996 Project Censored Yearbook Carl Jensen / Книга С меки корици
common.buy 15.06 € 29.45 лв
Kicad - Getting Started in Kicad David Jahshan / Книга С меки корици
common.buy 19.17 € 37.50 лв
BEAUCHAMP: OR THE WHEEL OF FORTUNE JAMES HOLR FIELDING / Книга С твърди корици
common.buy 38.97 € 76.21 лв
Criticism of the New Testament Francis Crawford Burkitt / Книга С твърди корици
common.buy 32.39 € 63.34 лв
The Garret and The Garden Robert Michael Ballantyne / Книга С меки корици
common.buy 6.68 € 13.06 лв
Apache Spark Quick Start Guide Shrey Mehrotra / Книга С меки корици
common.buy 34.29 € 67.06 лв
Complete Works of W.H. Auden W. H. Auden / Книга С твърди корици
common.buy 386.16 € 755.26 лв
Lost and Found Dara Girard / Книга С меки корици
common.buy 9.09 € 17.79 лв

Вход

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

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

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

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

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