Вы здесь

Главная

Programming Languages and Systems: Proc./19th Asian Symposium, APLAS 2021, Chicago,IL,USA, October 2021

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

Programming Languages and Systems: Proc./19th Asian Symposium, APLAS 2021, Chicago,IL,USA, October 2021Ed. by Oh H..-Berlin.: Springer, 2021.-Vol. 13008.-321 p.-(Lecture Notes in Computer Science).