Logic-Based Program Synthesis and Transformation: 31st International Sympos
Код: 16481267019
5358 грн
Ціна вказана з доставкою в Україну
Товар є в наявності
ЯК ЕКОНОМИТИ НА ДОСТАВКЕ?
Замовляйте велику кількість товарів у цього продавця
Інформація
- Час доставки: 7-10 днів
- Стан товару: новий
- Доступна кількість: 10
Оплачивая «Logic-Based Program Synthesis and Transformation: 31st International Sympos» данное изделие из «Железо» вы можете быть уверены, что после оформления заказа, доставки в Украину, вы получите именно то, что заказывали, в оговоренные сроки и европейского качества.
Синтез та трансформація програм на основі логіки: 31-й міжнародний симпозіум, LOPSTR 2021, Таллінн, Естонія, 7–8 вересня 2021 р., матеріали
Ця книга є рецензованими матеріалами 31-ї Міжнародної конференції з логічного синтезу та трансформації програм, LOPSTR 2021, яка проходила 7-8 вересня 2021 року.*Вісім доповідей, представлених у цьому томі, були ретельно переглянуті та відібрані із загалом 15 розглянутих матеріалів.
- Видавець: Springer
- Рік випуску: 2022
- Обкладинка: м'яка
- Кількість сторінок: 177
- Розміри: 23,5 x 15,5 x 0 см
- Ілюстрації: 26 ілюстрацій, кольорові; 34 Ілюстрації, чорно-білі; IX, 177 с., 26 іл. у кольорі.
- Мова: англійська
- ISBN: 9783030988685