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

25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013, Proceedings

Език Английски езикАнглийски език
Книга С меки корици
Книга Computer Aided Verification Natasha Sharygina
Код Либристо: 02075327
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, юни 2013
This book constitutes the thoroughly refereed proceedings of the 25th International Conference on Co... Цялото описание
? points 249 b
103.12 €
201.69  лв
Външен склад Изпращаме след 5-8 дни

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

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

La société patriarcale face à la résistance des femmes Resta / Книга С меки корици
common.buy 35.79 € 69.99 лв
Vie Abregee Du T. H. Frere Polycarpe / Книга С меки корици
common.buy 15.53 € 30.38 лв
MALCOLM X : DE L'EXCLUSIVISME NOIR A LA SPIRITUALITE UNIVERSELLE (JE VEUX CONNAITRE) TARIQ RAMADAN Книга С меки корици
common.buy 14.08 € 27.55 лв
Kielikarhu 3. Harjoituskirja A. Saari Elli / Книга С меки корици
common.buy 25.84 € 50.54 лв
I ja sam tu, uz vas Smriti Halls / Книга С твърди корици
common.buy 13.10 € 25.62 лв
Lebensfunken Akin Yildiz / Книга С меки корици
common.buy 10.77 € 21.06 лв
epidemiologische Teil des Berichtes uber die Tatigkeit MAX VON PETTENKOFER / Книга С меки корици
common.buy 16.16 € 31.60 лв
Le Mariage de Madame Roland: Trois Annees de Correspondance Amoureuse, 1777-1780 ROLAND DE LA PLATIER / Книга С меки корици
common.buy 29.21 € 57.13 лв
La enzima para rejuvenecer HIROMI SHINYA / Книга С меки корици
common.buy 11.60 € 22.68 лв
Patentschutz und Innovation in Geschichte und Gegenwart Rudolf Boch / Книга С меки корици
common.buy 45.16 € 88.33 лв
Atys, Tragedie En Musique. Ornee d'Entrees de Ballet, de Machines (Ed.1676) Philippe Quinault / Книга С меки корици
common.buy 14.39 € 28.15 лв
Kumulyativnye Zaryady Oleg Minin / Книга С меки корици
common.buy 80.12 € 156.71 лв
Aufbruch in ein mehrdimensionales Denken Andreas Steiner / Книга С меки корици
common.buy 18.02 € 35.24 лв
Die ewige Philosophie Aldous Huxley / Книга С меки корици
common.buy 19.78 € 38.69 лв
Подготвяме
Gittertiere 1. Bd.1 Heidi Schär / Книга С меки корици
common.buy 27.91 € 54.59 лв
Подготвяме
Vegetative Physiologie Gerhard Heldmaier / Книга С твърди корици
common.buy 52.93 € 103.52 лв
Die Reform der Vereinten Nationen - Bilanz und Perspektiven. Johannes Varwick / Книга С меки корици
common.buy 111.36 € 217.79 лв
Schlüssel zur Mathematik - Differenzierende Ausgabe Niedersachsen - 5. Schuljahr Reinhold Koullen / Книга С твърди корици
common.buy 30.87 € 60.37 лв

This book constitutes the thoroughly refereed proceedings of the 25th International Conference on Computer Aided Verification, CAV 2013 held in St. Petersburg, Russia in July 2013. The 54 regular and 16 tool papers presented were carefully selected from 209 submissions. The papers are organized in topical sections on biology, concurrency, hardware, hybrid systems, interpolation, loops and termination, new domains, probability and statistics, SAT and SMZ, security, shape analysis, synthesis, and time.§

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

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

Пълно заглавие Computer Aided Verification
Автор Natasha Sharygina, Helmut Veith
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2013
Брой страници 1015
Баркод 9783642397981
ISBN 3642397980
Код Либристо 02075327
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Тегло 1539
Размери 155 x 235 x 56

Категории

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

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

Debates in Citizenship Education James Arthur / Книга С меки корици
common.buy 64.53 € 126.22 лв
Ecclesiantics: 30 Years of Church Humor Erik Johnson / Книга С меки корици
common.buy 10.35 € 20.25 лв
Cambridge Companion to the Musical William A. Everett / Книга С меки корици
common.buy 45.83 € 89.64 лв
The Mammals of Israel Walter W. Ferguson / Книга С меки корици
common.buy 28.74 € 56.21 лв
Witch Stories E. Lynn Linton / Книга С твърди корици
common.buy 51.58 € 100.89 лв
Spider Tapestries Mike Allen / Книга С меки корици
common.buy 15.53 € 30.38 лв
Glyph* Shiro Nishimoto / Книга С твърди корици
common.buy 23.15 € 45.27 лв
Khobar Towers Air Force History and Museums Program / Книга С меки корици
common.buy 30.61 € 59.86 лв
Dirty Kiss Rhys Ford / Книга С меки корици
common.buy 14.81 € 28.96 лв
Defending Objectivity Margaret Archer / Книга С твърди корици
common.buy 209.41 € 409.57 лв
Compagnie Irlandaise M. W. Kirwan / Книга С меки корици
common.buy 24.18 € 47.30 лв
Strategic Networking in Small High Tech Firms Mette Monsted / Книга С меки корици
common.buy 37.50 € 73.33 лв
Wizards' Country DAPHNE ROOKE / Книга С меки корици
common.buy 14.70 € 28.76 лв
Households as Corporate Firms Krislert Samphantharak / Книга С меки корици
common.buy 41.79 € 81.74 лв
Some Mathematical Aspects of Inverse Thermoelastic Problems Kirtiwant Ghadle / Книга С меки корици
common.buy 68.57 € 134.12 лв
Miles Around Paris Douglas Pledger / Книга С меки корици
common.buy 12.17 € 23.80 лв
Exploring Piano Classics Technique Alfred Publishing / Книга С меки корици
common.buy 19.63 € 38.38 лв
The Passaic Flood of 1903 Marshall Ora Leighton / Книга С меки корици
common.buy 16.83 € 32.91 лв
Data Analysis using Python and Power BI Amreen Khan / Книга С меки корици
common.buy 39.26 € 76.78 лв
Handbook of Modern Ion Beam Materials Analysis Y. WangM. Nastasi / Книга С твърди корици
common.buy 114.67 € 224.28 лв
Lectures on Stochastic Programming Alexander ShapiroDarinka DentchevaAndrzej Ruszczyński / Книга С меки корици
common.buy 145.70 € 284.96 лв
The House of Vanity Hamza Laaouamri / Книга С меки корици
common.buy 15.53 € 30.38 лв
Environmental History of Medieval Europe Richard Hoffmann / Книга С меки корици
common.buy 45.21 € 88.43 лв
Parameter Setting Thomas Roeper / Книга С твърди корици
common.buy 183.77 € 359.42 лв

Вход

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

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

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

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

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