Проверка на състоянието на поръчката
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
108.67 €
212.54  лв
Външен склад Изпращаме след 5-8 дни

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

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

Harry Potter - Kit de pâtisserie et moules - Fabrique ton Vif d'Or en chocolat ! The Wizarding World / Книга С твърди корици
common.buy 19.15 € 37.46 лв
Wir smart 4. Język niemiecki. Szkoła podstawowa. Klasa 7. Smartbuch + kod dostępu praca zbiorowa / Книга С меки корици
common.buy 12.78 € 25.00 лв
DAN DA DAN 14 Yukinobu Tatsu / Книга С меки корици
common.buy 9.78 € 19.13 лв
Rundreise Kalifornien mit Las Vegas (Wandkalender 2026 DIN A4 quer), CALVENDO Monatskalender Calvendo / Календар/тефтер Календар
common.buy 20.76 € 40.60 лв
Isola d'Elba e Pianosa Russo William Dello / Книга С меки корици
common.buy 16.98 € 33.20 лв
Sestra lovca bosoriek Beth Underdown / Книга С твърди корици
common.buy 9.99 € 19.53 лв
Los frutos siderales MORA ALAMEDA / Книга С меки корици
common.buy 15.63 € 30.57 лв
Lettere. Testo greco a fronte Platone / Книга С твърди корици
common.buy 51.41 € 100.54 лв
Mut ist der Anfang vom Gluck Heike Karen Gurtler / E-книга Adobe ePub DRM
common.buy 13.87 € 27.13 лв
The Compound Effect Darren Hardy / Книга С меки корици
common.buy 19.41 € 37.96 лв
Sneaker Obsession Pauwels / Книга С меки корици
common.buy 21.53 € 42.12 лв
Hubert und Staller. Staffel.4, 6 DVDs Christian Tramitz / Видео DVD
common.buy 26.09 € 51.03 лв
Tief ist der Brunnen der Vergangenheit Gerhard Danzer / Книга С твърди корици
common.buy 26.87 € 52.55 лв
Einführung in das GmbH-Recht Werner Borns / Книга С меки корици
common.buy 42.61 € 83.33 лв
Kulturelle Diversitat und die Modeklammer - der Einfluss von kultureller Diversitat auf international agierende Unternehmen in der Modebranche Johannes Lenhard / Книга С меки корици
common.buy 18.12 € 35.43 лв
Imageanalyse der TSG Ludwigshafen-Friesenheim Sebastian Bronner / Книга С меки корици
common.buy 45.35 € 88.70 лв
Lessings Werke Gotthold E. Lessing / Книга С меки корици
common.buy 75.38 € 147.43 лв
Als Vagabund um die Erde Harry Franck / Книга С меки корици
common.buy 66.01 € 129.10 лв
Untersuchung Des W rmeinhalts, Der W rmeleitf higkeit Und Der Elektrischen Leitf higkeit Von Schmelzkalk Wilhelm Anton Fischer / Книга С меки корици
common.buy 55.96 € 109.46 лв
Beschaffungsplanung Und Budgetierung Heinz Stark / Книга С меки корици
common.buy 55.96 € 109.46 лв
25 Jahre Kaiser Wilhelm-Gesellschaft Max Planck / Книга С меки корици
common.buy 55.96 € 109.46 лв
Betrieb Und Und Bedienung Von Ortsfesten Viertakt-Dieselmaschinen Arthur Balog / Книга С меки корици
common.buy 55.96 € 109.46 лв
Die Zustimmung der Bundesregierung zu Verträgen der Bundesländer mit auswärtigen Staaten gemäß Art. 32 III GG. Peter Seidel / Книга С меки корици
common.buy 49.80 € 97.40 лв
Láska moja sa stráca Ján Smrek / Книга С твърди корици
common.buy 17.18 € 33.61 лв

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 108.67 € 212.54 лв
Omega Factor John G. Henning / Книга С меки корици
common.buy 16.56 € 32.39 лв
750 Spanish Verbs and Their Uses Zamir / Книга С меки корици
common.buy 30.49 € 59.63 лв
British Woodies from the 1920s to the 1950s Colin Peck / Книга С меки корици
common.buy 15.94 € 31.18 лв
Anti-Death League Kingsley Amis / Книга С меки корици
common.buy 11.54 € 22.57 лв
How to Read the Chinese Novel David L. Rolston / Книга С меки корици
common.buy 81.02 € 158.47 лв
Mobilizing India Tejaswini Niranjana / Книга С меки корици
common.buy 37.84 € 74.01 лв
Moncada Webster Hare Paul Webster Hare / Книга С меки корици
common.buy 17.24 € 33.71 лв
Подготвяме
Numbers Matching Games and Book KATE NOLAN / Игра/играчка Игра
common.buy 8.59 € 16.80 лв
Shades of Earl Grey Laura Childs / Книга С меки корици
common.buy 6.98 € 13.66 лв
From the Garden Michael Dahl / Книга С меки корици
common.buy 8.43 € 16.50 лв
Censored 1996: The 1996 Project Censored Yearbook Carl Jensen / Книга С меки корици
common.buy 14.70 € 28.75 лв
Top
Clementine Deliss Clémentine Deliss / Книга С твърди корици
common.buy 16.61 € 32.49 лв
Kicad - Getting Started in Kicad David Jahshan / Книга С меки корици
common.buy 19.31 € 37.76 лв
BEAUCHAMP: OR THE WHEEL OF FORTUNE JAMES HOLR FIELDING / Книга С твърди корици
common.buy 39.24 € 76.75 лв
Criticism of the New Testament Francis Crawford Burkitt / Книга С твърди корици
common.buy 32.61 € 63.79 лв
The Garret and The Garden Robert Michael Ballantyne / Книга С меки корици
common.buy 6.73 € 13.15 лв
Every Last Secret A. R. Torre / Книга С меки корици
common.buy 10.19 € 19.94 лв
Apache Spark Quick Start Guide Shrey Mehrotra / Книга С меки корици
common.buy 34.53 € 67.53 лв
Complete Works of W.H. Auden W. H. Auden / Книга С твърди корици
common.buy 388.88 € 760.58 лв
Lost and Found Dara Girard / Книга С меки корици
common.buy 9.16 € 17.91 лв
Macbeth William Shakespeare / Книга С меки корици
common.buy 12.42 € 24.29 лв
100 Number One Hits for Trumpet PETER LAVENDER / Книга С меки корици
common.buy 50.73 € 99.23 лв
Musculoskeletal Ultrasound for the Rheumatologist George A.W. Bruyn / Книга С меки корици
common.buy 106.44 € 208.19 лв

Вход

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

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

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

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

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