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

Verified Software. Theories, Tools and Experiments.

14th International Conference, VSTTE 2022, Trento, Italy, October 17-18, 2022, Revised Selected Papers

Език Английски езикАнглийски език
Книга С меки корици
Книга Verified Software. Theories, Tools and Experiments. Akash Lal
Код Либристо: 42588711
Издателство Springer, Berlin, ноември 2022
This book constitutes the refereed proceedings of the 14th International Conference on Verified Soft... Цялото описание
? points 132 b
54.51 €
106.61  лв
Външен склад Изпращаме след 5-8 дни

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

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

Children of Anguish and Anarchy Andrea Fischer / Книга С меки корици
common.buy 16.63 € 32.52 лв
JOHN CARPENTER HISTORIAS PARA NOCHE DE HALLOWEEN 4 DE 7 CARPENTER / Книга Книга
common.buy 29.17 € 57.05 лв
La puerta de al lado BEIRO / Книга С меки корици
common.buy 16.94 € 33.13 лв
Services à la personne en France et D. DAVID / Книга binding.
common.buy 319.40 € 624.69 лв
TODO LO QUE SUCEDIÓ DESPUÉS MAESTRE FERNANDEZ / Книга С меки корици
common.buy 12.64 € 24.72 лв
Katalepsis M. Carme Roca / Книга С меки корици
common.buy 20.83 € 40.73 лв
Kangastuksia Armi Susi / Книга С меки корици
common.buy 7.35 € 14.38 лв

This book constitutes the refereed proceedings of the 14th International Conference on Verified Software. Theories, Tools and Experiments, VSTTE 2022 held in Trento, Italy, during October 17-18, 2022.The 9 papers presented in this volume were carefully reviewed and selected from 20 submissions. The papers focus on the challenges of the verification of cyber-physical systems with machine learning components, Sequential learning and making large-scale verified software a practical reality.

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

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

Пълно заглавие Verified Software. Theories, Tools and Experiments.
Автор Akash Lal, Stefano Tonetta
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2023
Брой страници 156
Баркод 9783031258022
Код Либристо 42588711
Издателство Springer, Berlin
Тегло 258
Размери 155 x 235

Категории

Computing & Information Technology > Computer science > Mathematical theory of computation
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателя

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

Uses and Misuses of Data and Models W. James Bradley / Книга С меки корици
common.buy 57.41 € 112.28 лв
6000 Tons of Gold. [A Novel. by K. E. Kirkwood.] Anonymous / Книга С меки корици
common.buy 24.45 € 47.83 лв
Brassinosteroids: A Class of Plant Hormone Aqil Ahmad / Книга С меки корици
common.buy 217.21 € 424.84 лв
Top
Toriko, Vol. 28 Mitsutoshi Shimabukuro / Книга С меки корици
common.buy 8.44 € 16.51 лв
Modernism and the Celtic Revival Gregory Castle / Книга С меки корици
common.buy 61.09 € 119.48 лв
South Eastern Huastec Narratives: A Trilingual Edition Ana Kondic / Книга С твърди корици
common.buy 52.64 € 102.96 лв
Haunted Janae Mitchell / Книга С меки корици
common.buy 7.66 € 14.99 лв
Second Book of Go Richard Bozulich / Книга С меки корици
common.buy 34.14 € 66.78 лв
My Name is George: A Collection of Stories about People who Share my Name Allison Dearstyne / Книга С меки корици
common.buy 10.88 € 21.27 лв

Вход

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

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

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

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

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