Logic-Based Program Synthesis and Transformation: Revised Selected Papers/27th International Symposium, LOPSTR 2017, Namur, Belgium, October 2017 | Мемориальная библиотека А.П. Ершова

Вы здесь

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

1

Вид:

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

Год:

2018

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

компьютерный

архитектура

программирование в ограничениях

формальная логика

формальный метод

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

компиляция

доказательство теорем

верификация

Стр.:

341 p.

Редактор:

Gallagher J. P.

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

Том:

10855

Карточка:

Logic-Based Program Synthesis and Transformation: Revised Selected Papers/27th International Symposium, LOPSTR 2017, Namur, Belgium, October 2017Ed. by Fioravanti F., Gallagher J. P..-Berlin., 2018.-Vol. 10855.-341 p.