Вы здесь

Главная

Logic-Based Program Synthesis and Transformation: Revised Selected Papers/23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 2013

Количество экземпляров: 
1
Вид: 
Сборник или журнал
Год: 
2014
Ключевые слова: 
альтернативный
автомат
constraint logic programming
декларативный
отладка
функциональное программирование
генерация
интерпретация
линейная алгебра
логическое программирование
операционная семантика
программный синтез
трансформация
статистический анализ
верификация
Стр.: 
237 p.
Редактор: 
Gupta G.
Pena R.
Место издания: 
Berlin
Издательство: 
Springer
Серия: 
Lecture Notes in Computer Science
Том: 
8901
Карточка: 

Logic-Based Program Synthesis and Transformation: Revised Selected Papers/23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 2013Ed. by Gupta G., Pena R..-Berlin.: Springer, 2014.-Vol. 8901.-237 p.-(Lecture Notes in Computer Science).

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