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

Formal Methods

Език Английски езикАнглийски език
Книга С меки корици
Книга Formal Methods Naijun Zhan
Код Либристо: 37633220
Издателство Springer Nature Switzerland AG, ноември 2021
This book constitutes the refereed proceedings of the 24th Symposium on Formal Methods, FM 2021, hel... Цялото описание
? points 289 b
119.44 €
233.61  лв
Външен склад Изпращаме след 5-8 дни

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

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

modernen Vater der Antike Annette M. Baertschi / Книга С твърди корици
common.buy 167.24 € 327.10 лв
Magie der Natur: Eine Revolutions-Geschichte Caroline De La Motte Fouque / Книга С меки корици
common.buy 11.17 € 21.84 лв
Fundamenta Krestomatio L.L. Zamenhof / Книга С меки корици
common.buy 17.53 € 34.29 лв
Trichoderma Jaimin Pandya / Книга С меки корици
common.buy 25.60 € 50.07 лв
AUTOANALISIS CAVALIERE / Книга С меки корици
common.buy 13.55 € 26.50 лв
Co-construction entre Idéalisme et Réalité Mounir / Книга С меки корици
common.buy 26.33 € 51.49 лв

This book constitutes the refereed proceedings of the 24th Symposium on Formal Methods, FM 2021, held virtually in November 2021.The 43 full papers presented together with 4 invited presentations were carefully reviewed and selected from 131 submissions. The papers are organized in topical sections named: Invited Presentations. - Interactive Theorem Proving, Neural Networks & Active Learning, Logics & Theory, Program Verification I, Hybrid Systems, Program Verification II, Automata, Analysis of Complex Systems, Probabilities, Industry Track Invited Papers, Industry Track, Divide et Impera: Efficient Synthesis of Cyber-Physical System.

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

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

Пълно заглавие Formal Methods
Автор Naijun Zhan, Corina Pasareanu
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2021
Брой страници 800
Баркод 9783030908690
ISBN 3030908690
Код Либристо 37633220
Издателство Springer Nature Switzerland AG
Тегло 1234
Размери 155 x 235 x 44

Категории

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

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

Traditional Jewelry of India Oppi Untracht / Книга С меки корици
common.buy 37.76 € 73.85 лв
Making It to Semany Haig Urum / Книга С твърди корици
common.buy 41.64 € 81.44 лв
Your Black Friend Ben Passmore / Книга С меки корици
common.buy 6.51 € 12.74 лв
Gas Card Reloaded Roxanne C Fredd / Книга С меки корици
common.buy 17.53 € 34.29 лв
The Fugitives: The Tyrant Queen of Madagascar R M Ballantyne / Книга С меки корици
common.buy 9.00 € 17.60 лв
First Observation of Coherent Elastic Neutrino-Nucleus Scattering Bjorn Scholz / Книга С твърди корици
common.buy 108.58 € 212.36 лв
Ireland, Slavery and the Caribbean Ciarán O'Neill / Книга С твърди корици
common.buy 112.46 € 219.95 лв

Вход

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

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

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

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

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