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

27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I

Език Английски езикАнглийски език
Книга С меки корици
Книга Computer Aided Verification Daniel Kroening
Код Либристо: 09372120
Издателство Springer International Publishing AG, юли 2015
The two-volume proceedings set LNCS 9206 + 9207 constitutes the refereed proceedings of the 27th Int... Цялото описание
? points 132 b
54.42 €
106.43  лв
Външен склад Изпращаме след 5-8 дни

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

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

Изгодно
La génération Z et le luxe Eric Briones (dit Darkplanneur) / Книга С меки корици
common.buy 21.10 € 41.27 лв
Vánoční koledy Vladimíra Vopičková / Книга С твърди корици
common.buy 3.82 € 7.48 лв
Klube & THE BATES Christof Dörr / Книга С меки корици
common.buy 19.03 € 37.22 лв
EL SIGNO DEL DRAGÓN RICARDO ALIA / Книга С твърди корици
common.buy 13.96 € 27.31 лв
SICILIA PHILIPPE GLOAGUEN / Книга С твърди корици
common.buy 27.72 € 54.22 лв
Nouvelle Biblioth?que Germanique... Jean-Henri-Samuel Formey / Книга С меки корици
common.buy 29.53 € 57.76 лв
Inspirationen zu Franz Marc "Skizzen aus dem Felde" Maria-Anna Bäuml-Roßnagl / Книга С меки корици
common.buy 34.03 € 66.57 лв
Ensemble: Liebfrauenkirche - Kloster - Prinzenhof - Papiermühle und Teile der alten Stadtmauer (Puzzle) Monika Müller / Игра/играчка Игра
common.buy 32.02 € 62.62 лв
Sagen aus Franken Susanne Rebscher / Книга С твърди корици
common.buy 15.82 € 30.95 лв
Russlands landlische Zustande Julius Wilhelm Albert von Eckardt / Книга С меки корици
common.buy 21.77 € 42.59 лв
Diario de un viejo terminal Zamir Bechara / Книга С меки корици
common.buy 24.62 € 48.15 лв
Auxiliares Administrativos de Corporaciones Locales. Test del Temario General MARTOS NAVARRO / Книга С меки корици
common.buy 35.07 € 68.59 лв
Pollos y gallinas de la A a la Z : todas las respuestas a sus preguntas Gail Damerow / Книга С меки корици
common.buy 55.35 € 108.25 лв
Reise durch Barcelona Andreas Drouve / Книга С твърди корици
common.buy 19.03 € 37.22 лв
Die 101 wichtigsten Fragen - Rassismus Susan Arndt / Книга С меки корици
common.buy 10.60 € 20.73 лв
Clemens Brentano Detlev Lüders / Книга С твърди корици
common.buy 125.45 € 245.35 лв
L.A. Nudes Confidential Sean McCall / Книга С твърди корици
common.buy 29.74 € 58.17 лв
Juwikinger - Erster Teil Olav Duun / Книга С твърди корици
common.buy 33.05 € 64.64 лв
Stunden-Buch Rainer Maria Rilke / Книга С меки корици
common.buy 9.57 € 18.71 лв

The two-volume proceedings set LNCS 9206 + 9207 constitutes the refereed proceedings of the 27th International Conference on Computer Aided Verification, CAV 2015, held in San Francisco, CA, USA, in July 2015.§§The total of 58 full and 11 short papers presented in the proceedings was carefully reviewed and selected from 252 submissions. The papers were organized in topical sections named: model checking and refinements; quantitative reasoning; software analysis; lightning talks; interpolation, IC3/PDR, and Invariants; SMT techniques and applications; HW verification; synthesis; termination; and concurrency.§

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

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

Пълно заглавие Computer Aided Verification
Автор Daniel Kroening, Corina S. Pasareanu
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2015
Брой страници 677
Баркод 9783319216898
ISBN 3319216899
Код Либристо 09372120
Издателство Springer International Publishing AG
Тегло 1048
Размери 155 x 235 x 40

Категории

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

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

Sterilization of Food in Retort Pouches A.G. Abdul Ghani Al-Baali / Книга С меки корици
common.buy 108.58 € 212.36 лв
Подготвяме
Introduction to International Relations Richard Devetak / Книга С меки корици
common.buy 75.01 € 146.70 лв
Spice Secret Billie Holladay Skelley / Книга С меки корици
common.buy 6.25 € 12.23 лв
Amber Waves Sharon Schenbeck / Книга С меки корици
common.buy 10.34 € 20.23 лв
Life of an EX College Bandsman 5: Starting All Over Jaxon Grant / Книга С меки корици
common.buy 19.55 € 38.24 лв
America: A History: I. The United States. II. The Dominion of Canada. III. South America, &c Robert Mackenzie / Книга С твърди корици
common.buy 40.14 € 78.50 лв
Descartes and the Dutch: Early Reactions to Cartesian Philosophy, 1637-1650 Theo Verbeek / Книга С твърди корици
common.buy 34.71 € 67.88 лв
Bondage and Travels of Johann Schiltberger, a Native of Bavaria, in Europe, Asia, and Africa, 1396-1427 / Digital Digital online
common.buy 57.73 € 112.91 лв
Revival: Nietzsche in Context (2001) Robin Small / Книга С меки корици
common.buy 63.83 € 124.84 лв
Top
Lean Change Management Jason Little / Книга С меки корици
common.buy 27.46 € 53.72 лв
Guide To Gaelic Conversation And Pronunciation: With Vocabularies, Dialogues, Phrases And Letter Forms (1905) Lachlan Macbean / Книга С твърди корици
common.buy 34.45 € 67.38 лв
Because He Loves Me Dana M Watson / Книга С меки корици
common.buy 19.39 € 37.93 лв
Top
Spanish English Illustrated Dictionary DK / Книга С меки корици
common.buy 22.65 € 44.31 лв
Intimate: An American Family Photo Album Paisley Rekdal / Книга С твърди корици
common.buy 31.81 € 62.22 лв
Dear Mr. Nelson Kenneth E Nelson / Книга С твърди корици
common.buy 29.79 € 58.27 лв
Подготвяме
NATIONALISM Richard Allen Sauers / Книга С твърди корици
common.buy 53.38 € 104.41 лв
Flexible Metal-Organic Frameworks: Structural Design, Synthesis and Properties Susumu Kitagawa / Книга С твърди корици
common.buy 140.40 € 274.59 лв
World Century Compendium To Tcm - Volume 4: Introduction To Chinese Internal Medicine Hong Zhou Wu / Книга С меки корици
common.buy 103.25 € 201.94 лв
Chicano Frankenstein Daniel A. Olivas / Аудиокнига MP3
common.buy 21.15 € 41.37 лв
Dynamic Business Process Formation for Instant Virtual Enterprises Nikolay Mehandjiev / Книга С меки корици
common.buy 162.74 € 318.30 лв
Chemical Genomics Edward D. Zanders / Книга С меки корици
common.buy 118.62 € 231.99 лв

Вход

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

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

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

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

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