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


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

Покупая «Проверка, проверка модели и абстрактная интерпретация: 23 -й международный», вы можете быть уверены, что данный товар из каталога «[rubrica_name]» вы получите в срок 5-7 дней после оплаты. Товар будет доставлен из Европы, проверен на целостность, иметь европейское качество.

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

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

  • Издатель: springer
  • Год публикации: 2022
  • обложка: Soft
  • Количество страниц: 520
  • Размеры: 23,5 x 15,5 x 0 см
  • Иллюстрации: 80 Иллюстрации, цвет; 74 иллюстрации, черно -белые; X, 520 с. 154 Illus., 80 Illus. по цвету.
  • язык: английский
  • isbn: 9783030945824