Gabbrielli Maurizio Logic-Based Program Synthesis and Transformation: 29th International Symposium, Lopstr 2019, Porto, Portugal, October 8-10, 2019, Revised Selected Pap 9783030452599

Варианты приобретения

Цена: 6986.00р.
Кол-во:
Наличие: Поставка под заказ. Есть в наличии на складе поставщика.
Склад Америка: Есть
При оформлении заказа до: 2025-07-28
Ориентировочная дата поставки: Август-начало Сентября
При условии наличия книги у поставщика.

Добавить в корзину

в Мои желания

Автор: Gabbrielli Maurizio
Название: Logic-Based Program Synthesis and Transformation: 29th International Symposium, Lopstr 2019, Porto, Portugal, October 8-10, 2019, Revised Selected Pap
ISBN: 9783030452599
Издательство: Springer
Классификация:

Информационные технологии: общие вопросы

Аппаратное обеспечение коипьютеров

Математическая теория вычислений

Машинное моделирование и имитация

Искусственный интеллект

ISBN-10: 303045259X
Обложка/Формат: Paperback
Страницы: 261
Вес: 0.39 кг.
Дата издания: 22.04.2020
Серия: Theoretical computer science and general issues
Язык: English
Издание: 1st ed. 2020
Иллюстрации: 228 illustrations, color; 378 illustrations, black and white; xvi, 261 p. 606 illus., 228 illus. in color.
Размер: 23.39 x 15.60 x 1.50 cm
Читательская аудитория: Professional & vocational
Подзаголовок: 29th international symposium, lopstr 2019, porto, portugal, october 8-10, 2019, revised selected papers
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Германии
Описание: This book constitutes the thoroughly refereed post-conference proceedings of the 29th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2019, held in Porto, Portugal, in October 2019.

Logic-Based Program Synthesis and Transformation: 29th International Symposium, Lopstr 2019, Porto, Portugal, October 8-10, 2019, Revised Selected Pap, Gabbrielli Maurizio