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

Език Английски езикАнглийски език
Книга С меки корици
Книга Computer Aided Verification Isil Dillig
Код Либристо: 24027841
Издателство Springer Nature Switzerland AG, юли 2019
This open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31s... Цялото описание
? points 132 b
54.06 €
105.73  лв
Външен склад Изпращаме след 5-8 дни

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

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

CARTE - LA NATURE EN HAUTE MONTAGNE Levi Walter YAGGY / Книга Книга
common.buy 24.92 € 48.74 лв
PRÄVENTIVE ZAHNMEDIZIN: DAMIT DAS LÄCHELN FREI VON VERLETZUNGEN BLEIBT SOUNDARYA PRABHAKAR / Книга С меки корици
common.buy 41.21 € 80.60 лв
Hory zpívají Phan Que Mai Nguyen / Книга С твърди корици
common.buy 16.13 € 31.55 лв
Morče Nataša Velenská / Книга С меки корици
common.buy 6.83 € 13.36 лв
KLIMATOLOGIE Émile H. Klouyo / Книга С меки корици
common.buy 41.21 € 80.60 лв
Técnicas n?o-farmacológicas de gest?o do comportamento Anil Gupta / Книга С меки корици
common.buy 41.21 € 80.60 лв
Io e il mio amico Gesù facciamo tante cose assieme. La comunione Bruno Ferrero / Книга С меки корици
common.buy 10.74 € 21.00 лв
Bleigewitter über Cinecitt? Christian Keßler / Книга С твърди корици
common.buy 32.01 € 62.61 лв
Plaster Czarownicy i inne baśnie Małgorzata Strzałkowska / Книга С твърди корици
common.buy 9.71 € 18.99 лв
SOLA GURT / Книга С меки корици
common.buy 19.73 € 38.59 лв
Atención Sociosanitaria a personas en el domicilio.Atención domiciliaria y alimentación familiar. Ce EDAE / Книга С меки корици
common.buy 26.46 € 51.76 лв
TEKIS GOMEZ / Книга С твърди корици
common.buy 21.99 € 43.01 лв
Un coup de dés jamais n'abolira le hasard Stéphane Mallarmé / Книга binding.
common.buy 21.27 € 41.60 лв
Donc Vous Avez Un Ami Invisible: (Ne voir aucun dieu, n'entendre aucun dieu, ne parler ? aucun dieu) Nancy Phillips / Книга С меки корици
common.buy 11.15 € 21.80 лв
Secme Dünya Öyküleri Jorge Luis Borges / Книга С меки корици
common.buy 16.85 € 32.96 лв
Valorisation de soja: « tofu, farine infantile » José Tahina Ranaivotrimo / Книга С меки корици
common.buy 58.02 € 113.47 лв
Christoph Columbus Jakob Wassermann / Книга С меки корици
common.buy 18.86 € 36.88 лв
Die Ritter von Heliopolis. Band 3 Alejandro Jodorowsky / Книга С твърди корици
common.buy 16.49 € 32.25 лв
Besser hausgemacht mit dem Thermomix® Doris Muliar / Книга С меки корици
common.buy 13.46 € 26.32 лв
30 Jahre Nachhilfe in 60 Minuten Ulf - C. Roggendorff / Книга С меки корици
common.buy 11.46 € 22.40 лв
Cuento-juego. Los tres cerditos NICOLETTA CODIGNOLA / Книга С меки корици
common.buy 17.01 € 33.26 лв
Técnicas de relajación creativa y emocional Mónica Pintanel Bassets / Книга С меки корици
common.buy 24.71 € 48.34 лв
Weg Ins Heim Trendb Uro / Книга С меки корици
common.buy 39.67 € 77.59 лв

This open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31st International Conference on Computer Aided Verification, CAV 2019, held in New York City, USA, in July 2019. The 52 full papers presented toget

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

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

Пълно заглавие Computer Aided Verification
Автор Isil Dillig, Serdar Tasiran
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2019
Брой страници 673
Баркод 9783030255398
ISBN 3030255395
Код Либристо 24027841
Издателство Springer Nature Switzerland AG
Тегло 1050
Размери 155 x 235 x 38

Категории

Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Computer modelling & simulation
Computing & Information Technology > Computer science > Artificial intelligence
Computing & Information Technology > Computer networking & communications
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателя

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

Information Security Sokratis Katsikas / Книга С меки корици
common.buy 80.99 € 158.40 лв
MEE Questions Book 2 Celebration Bar Review LLC / Книга С меки корици
common.buy 91.78 € 179.51 лв
The Princess and the Pea Hans Christian Andersen / Книга С меки корици
common.buy 14.74 € 28.84 лв
Botanic Garden. Part II. Containing the Loves of the Plants. A Poem. With Philosophical Notes. Volume the Second. The Fourth Edition. of 2; Volume 2 ERASMUS DARWIN / Книга С твърди корици
common.buy 31.40 € 61.40 лв
Advances in Growth Curve and Structural Equation Modeling Ratan Dasgupta / Книга С твърди корици
common.buy 54.06 € 105.73 лв
Treatise on Grand Military Operations as Contrasted with the Modern System Samuel Beckley Holabird / Книга С меки корици
common.buy 30.01 € 58.69 лв
Do You Dream of Terra-Two? Temi Oh / Книга С меки корици
common.buy 13.51 € 26.42 лв
Подготвяме
Print Proceedings of the IMECE International Mechanical Engineering Congress & Exposition (IMECE2018): Volume 1 ASME / Книга С меки корици
common.buy 147.49 € 288.47 лв
Feasibility Study Majura Jackson G. Majura / Книга С меки корици
common.buy 36.07 € 70.55 лв
Top
Trapped in a Video Game: The Complete Series Dustin Brady / Книга С меки корици
common.buy 36.89 € 72.16 лв
A K-Pop Love Story H.G Samarasinghe / Книга С меки корици
common.buy 13.00 € 25.42 лв
3 little sisters Radha Bamania / Книга С меки корици
common.buy 10.27 € 20.09 лв
Soft Computing as Transdisciplinary Science and Technology Ajith Abraham / Книга С меки корици
common.buy 215.43 € 421.35 лв
Artificial Intelligence Enabled Computational Methods for Smart Grid Forecast and Dispatch Zhigang Zeng / Книга С меки корици
common.buy 172.42 € 337.22 лв
KOREAN WORD SEARCH - LEVEL OF DIFFICULTY DELTA CLASSICS / Книга С меки корици
common.buy 10.58 € 20.70 лв
Group FEIGEL LARA / Книга С меки корици
common.buy 11.10 € 21.70 лв
Katherine Mansfield: New Directions GASSTON AIMEE / Книга С твърди корици
common.buy 150.06 € 293.49 лв
The Diabolical Bones Bella Ellis / Книга С меки корици
common.buy 20.24 € 39.59 лв
Invisible Women: Data Bias in a World Designed for Men CRIADO PEREZ CAROLINE / Книга С меки корици
common.buy 15.67 € 30.65 лв
Japanese Fairy Tale Series D. Thomson / Книга С меки корици
common.buy 11.87 € 23.21 лв
Works of Ophra Behn Montague Summers / Книга С твърди корици
common.buy 60.84 € 119.00 лв
Top
Harry Potter Slytherin House Editions Hardback Box Set Joanne K. Rowling / Книга С твърди корици
common.buy 194.36 € 380.14 лв
In at the Death Francis Duncan / Аудиокнига MP3
common.buy 9.30 € 18.18 лв
Sex Differences in Intelligence Richard Lynn / Книга С меки корици
common.buy 14.95 € 29.24 лв

Вход

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

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

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

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

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