Verification, Model Checking, and Abstract
Код: 14053519564
11637 грн
Ціна вказана з доставкою в Україну
Товар є в наявності
ЯК ЕКОНОМИТИ НА ДОСТАВКЕ?
Замовляйте велику кількість товарів у цього продавця
Інформація
- Час доставки: 7-10 днів
- Стан товару: новий
- Доступна кількість: 1
Оплачивая «Verification, Model Checking, and Abstract», вы можете быть уверены, что данное изделие из каталога «Бізнес, економіка, фінанси» будет доставлено из Польши и проверено на целостность. В цене товара, указанной на сайте, учтена доставка из Польши. Внимание!!! Товары для Евросоюза, согласно законодательству стран Евросоюза, могут отличаться упаковкой или наполнением.
Верифікація, перевірка моделі та інтерпретація тез: 22-га міжнародна конференція, VMCAI 2021, Копенгаген, Данія, 17-19 січня 2021 р., матеріали
Колективна робота
- Видавець: Springer Nature Switzerland AG
- Дата випуску: 2021
- ISBN: 9783030670665
- Кількість сторінок: 604
- Формат: 235 x 155
- Тип палітурки:м'яка обкладинка / м'яка обкладинка
Опис продукту:
Ця книга є матеріалами 22-ї Міжнародної конференції з верифікації, перевірки моделей та абстрактної інтерпретації VMCAI 2021, яка відбулася віртуально протягом 17-19 січня 2021 року.