Verification, Model Checking, and Abstract
Код: 14053519564
10753 грн
Цена указана с доставкой в Украину
Товар есть в наличии
КАК ЭКОНОМИТЬ НА ДОСТАВКЕ?
Заказывайте большое количество товаров у этого продавца
Информация
- Время доставки: 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 года.