Вы здесь

Главная

Programming Languages and Systems: Proc./30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 2021

Количество экземпляров: 
1
Вид: 
Сборник или журнал
Год: 
2021
Ключевые слова: 
теория параллелизма
распределенная система
формальная логика
лингвистика
логика
объектно-ориентированное программирование
система параллельной обработки
вероятностное программирование
процесс вычисления
компиляция программ
семантика
качество по
верификация
легализация
ламбда-исчисление
Стр.: 
693 p.
Редактор: 
Yoshida N.
Место издания: 
Berlin
Издательство: 
Springer
Серия: 
Lecture Notes in Computer Science
Том: 
12648
Карточка: 

Programming Languages and Systems: Proc./30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 2021/Ed. by Yoshida N..-Berlin.: Springer, 2021.-Vol. 12648.-693 p.-(Lecture Notes in Computer Science).