Вы здесь

Главная

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 2021Ed. by Yoshida N..-Berlin.: Springer, 2021.-Vol. 12648.-693 p.-(Lecture Notes in Computer Science).