Вы здесь

Главная

Static Analysis: Proc./28th International Symposium, SAS 2021, CHicago,IL,USA, October 2021

Количество экземпляров: 
1
Вид: 
Сборник или журнал
Год: 
2021
Ключевые слова: 
распределенная система
формальная логика
логическое программирование
система параллельной обработки
компиляция программ
дизайн по
качество по
статический анализ
верификация
легализация
Стр.: 
478 p.
Редактор: 
Dragoi C.
Mukherjee S.
Namjoshi K.
Место издания: 
Berlin
Издательство: 
Springer
Серия: 
Lecture Notes in Computer Science
Том: 
12913
Карточка: 

Static Analysis: Proc./28th International Symposium, SAS 2021, CHicago,IL,USA, October 2021Ed. by Dragoi C., Mukherjee S., Namjoshi K..-Berlin.: Springer, 2021.-Vol. 12913.-478 p.-(Lecture Notes in Computer Science).