Вы здесь

Главная

Trends in Functional Programming: Revised Selected Papers/19th International Symposium, TFP 2018, Gothenburg, Sweden, June 2018

Количество экземпляров: 
1
Вид: 
Сборник или журнал
Год: 
2019
Ключевые слова: 
компьютерная архитектура
дизайн
структура данных
тип данных
распределенный
язык программирования
доменный
domain-specific language
haskell
формальная верификация
верификация по
функциональный язык
функциональное программирование
планирование
составление расписания
программное мышление
program reasoning
логика программирования
run-time environments
ламбда-исчисление
Стр.: 
157 p.
Редактор: 
Palka M.
Myreen M.
Место издания: 
Berlin
Издательство: 
Springer
Серия: 
Lecture Notes in Computer Science
Том: 
11457
Карточка: 

Trends in Functional Programming: Revised Selected Papers/19th International Symposium, TFP 2018, Gothenburg, Sweden, June 2018Ed. by Palka M., Myreen M..-Berlin.: Springer, 2019.-Vol. 11457.-157 p.-(Lecture Notes in Computer Science).