Проверка на състоянието на поръчката
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
Код Либристо: 24027842
Издателство Springer Nature Switzerland AG, юли 2019
The open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31st... Цялото описание
? points 132 b
54.35 €
106.30  лв
Външен склад Изпращаме след 5-8 дни

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

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

Automotives Googiedesign / Gestern - Heute - Morgen Steinmetz / Книга С меки корици
common.buy 26.40 € 51.63 лв
Il Fratellino Di Celeste Marisa Bragato / Книга С меки корици
common.buy 9.61 € 18.79 лв

The 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 togeth

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

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

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

Категории

Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Systems analysis & design
Computing & Information Technology > Computer science > Artificial intelligence
Computing & Information Technology > Information technology: general issues
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателя

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

Подготвяме
Unauthorised Harry Potter Companion Colin Duriez / Книга С меки корици
common.buy 14.82 € 28.99 лв
Upper Columbia Basin Network Science Communication Plan, Version 1.0: Natural Resource Report NPS/UCBN/NRR?2009/140 Jannis L Jocius / Книга С меки корици
common.buy 14.57 € 28.49 лв
Fifty Shades of Crimson Tomsett / Книга С меки корици
common.buy 26.09 € 51.02 лв
IN The Beginning Was Marriage Owen Chiwawa / Книга С меки корици
common.buy 13.89 € 27.17 лв

Вход

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

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

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

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

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