Logic-Based Program Synthesis and Transformation: 31st International Sympos


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

Оплачивая «Logic-Based Program Synthesis and Transformation: 31st International Sympos» данное изделие из «Железо» вы можете быть уверены, что после оформления заказа, доставки в Украину, вы получите именно то, что заказывали, в оговоренные сроки и европейского качества.

Синтез и трансформация логических программ: 31-й международный симпозиум, LOPSTR 2021, Таллинн, Эстония, 7–8 сентября 2021 г., Материалы

Эта книга представляет собой рецензируемый материал 31-й Международной конференции по синтезу и преобразованию логических программ, LOPSTR 2021, которая проходила 7–8 сентября 2021 года. *8 статей, представленных в этом томе, были тщательно проверены и отобраны. из 15 рассмотренных материалов.

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