Вы здесь

Главная

Programming Languages and Systems: Proc./14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 2016

Количество экземпляров: 
1
Вид: 
Сборник или журнал
Год: 
2016
Ключевые слова: 
язык программирования
обоснование
теория
домен
domain-specific language
абстрактная машина
происхождение
программа
анализ программ
model checking
квантовое программирование
безопасность по
параллелизм
реализация
Стр.: 
465 p.
Редактор: 
Igarashi A.
Место издания: 
Berlin
Издательство: 
Springer
Серия: 
Lecture Notes in Computer Science
Том: 
10017
Карточка: 

Programming Languages and Systems: Proc./14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 2016Ed. by Igarashi A..-Berlin.: Springer, 2016.-Vol. 10017.-465 p.-(Lecture Notes in Computer Science).

Таблица в старой библиотеке: 
MONO12 124