Верификация, проверка моделей и абстрактная интерпретация: 23-я Международная конференция


Код: 16480851671
7755 грн
Цена указана с доставкой в Украину
Товар есть в наличии
КАК ЭКОНОМИТЬ НА ДОСТАВКЕ?
Заказывайте большое количество товаров у этого продавца
Информация
  • Время доставки: 7-10 дней
  • Состояние товара: новый
  • Доступное количество: 10

Оплачивая «Верификация, проверка моделей и абстрактная интерпретация: 23-я Международная конференция», вы можете быть уверены, что данное изделие из каталога «Железо» будет доставлено из Польши и проверено на целостность. В цене товара, указанной на сайте, учтена доставка из Польши. Внимание!!! Товары для Евросоюза, согласно законодательству стран Евросоюза, могут отличаться упаковкой или наполнением.

Верификация, проверка моделей и абстрактная интерпретация: 23-я Международная конференция, VMCAI 2022, Филадельфия, Пенсильвания, США, 16–18 января 2022 г., материалы

Эта книга представляет собой материалы 23-й Международной конференции по верификации, проверке моделей и абстрактной интерпретации VMCAI 2022, которая состоялась в Филадельфии, штат Пенсильвания, США, в январе 2022 года. 22 статьи, представленные в этом томе, были тщательно проверены. из 48 заявок.

<ул>
  • Издатель: Springer
  • Год выпуска: 2022.
  • Обложка: мягкая обложка.
  • Количество страниц: 520
  • Размеры: 23,5 x 15,5 x 0 см.
  • Иллюстрации: 80 иллюстраций, цветные; 74 иллюстрации, черно-белые; Х, 520 с., 154 ил., 80 ил. в цвете.
  • Язык: английский.
  • ISBN: 9783030945824