Logic-Based Program Synthesis and Transformation: Revised Selected Papers/24th International Symposium, LOPSTR 2014, Canterbury, UK, September 2014 | Мемориальная библиотека А.П. Ершова

Вы здесь

Количество экземпляров:

1

Вид:

Сборник или журнал

Год:

2015

Ключевые слова:

анализ программ

трансформация

правила ограничения

терминология

тестирование

программа

верификация

синтез программ

происхождение

логическое программирование

оптимизация

Стр.:

333 p.

Редактор:

Место издания:

Издательство:

Серия:

Lecture Notes in Computer Science

Том:

8981

Карточка:

Logic-Based Program Synthesis and Transformation: Revised Selected Papers/24th International Symposium, LOPSTR 2014, Canterbury, UK, September 2014Ed. by Proietti M., Seki H..-Berlin.: Springer, 2015.-Vol. 8981.-333 p.-(Lecture Notes in Computer Science).

Таблица в старой библиотеке:

MONO11 476