Вы здесь

Главная

Programming Languages and Systems: Proc./18th Asian Symposium, APLAS 2020, Fukuoka, Japan, November 2020

Количество экземпляров: 
1
Вид: 
Сборник или журнал
Год: 
2020
Ключевые слова: 
формальная логика
лингвистика
система параллельной обработки
model checking
компиляция
язык программирования
семантика
дизайн по
качество по
система типов
верификация
легализация
Стр.: 
374 p.
Редактор: 
Oliveira B.C.d.S.
Место издания: 
Berlin
Издательство: 
Springer
Серия: 
Lecture Notes in Computer Science
Том: 
12470
Карточка: 

Programming Languages and Systems: Proc./18th Asian Symposium, APLAS 2020, Fukuoka, Japan, November 2020Ed. by Oliveira B.C.d.S..-Berlin.: Springer, 2020.-Vol. 12470.-374 p.-(Lecture Notes in Computer Science).