Верифікація, перевірка моделі та інтерпретація рефератів: 23-я міжнар
Код: 16480851671
8589 грн
Ціна вказана з доставкою в Україну
Товар є в наявності
ЯК ЕКОНОМИТИ НА ДОСТАВКЕ?
Замовляйте велику кількість товарів у цього продавця
Інформація
- Час доставки: 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 Ілюстрації, чорно-білі; X, 520 іл., 80 іл. у кольорі.
- Мова: англійська
- ISBN: 9783030945824