Над 4 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€
Станете част от общност от любители на книгите от цял свят и получавате много предимства.
Създай на безплатен акаунт
Безплатна доставка със Еконт над 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 €
Контакт
Как се пазарува?
Помощ
Доставка
Куриер 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 €
Безплатна доставка със Еконт над 69.99 €
Наръчник за пазаруване
Моят акаунт
▸
Празна :-(
0
Над 4 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€
Computer Aided Verification
35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part III
Език
Английски език
Английски език
Книга
С меки корици
The open access proceedings set LNCS 13964, 13965, 13966 constitutes the refereed proceedings of the...
Цялото описание
Код Либристо: 50453576
?
145 b
145 b
59.80
€
116.95
лв
Външен склад
Изпращаме след 10-18 дни
30 дни за връщане на стоката
The open access proceedings set LNCS 13964, 13965, 13966 constitutes the refereed proceedings of the 35th International Conference on Computer Aided Verification, CAV 2023, which was held in Paris, France, in July 2023.
The 67 full papers presented in these proceedings were carefully reviewed and selected from 261 submissions. The have been organized in topical sections as follows:
Part I: Automata and logic; concurrency; cyber-physical and hybrid systems; synthesis;
Part II: Decision procedures; model checking; neural networks and machine learning;
Part II: Probabilistic systems; security and quantum systems; software verification.
Героиня
&
Полиглот
EWA KASP
за
Пусни видеото
В Libristo има най-богатия избор от чуждоезична литература. Затова купувам книгите си тук.
Информация за книгата
Пълно заглавие
Computer Aided Verification
Автор
Constantin Enea, Akash Lal
Език
Английски език
Английски език
Корици
Книга - С меки корици
Дата на издаване
2023
Брой страници
520
Баркод
9783031377105
ISBN
3031377109
Код Либристо
50453576
Издателство
Springer Nature B.V.
Тегло
722
Размери
156 x 234 x 27
