Вы здесь

Главная

Static Analysis: Proc./27th International Symposium,, SAS 2020, Virtual Event, November 2020

Количество экземпляров: 
1
Вид: 
Сборник или журнал
Год: 
2020
Ключевые слова: 
abstract domains
абстрактная интерпретация
автоматическая дедукция
поток данных
отладка
метод дедукции
model checking
type checking
формальная логика
анализ безопасности
программная верификация
синтез программ
оптимизация
Стр.: 
381 p.
Редактор: 
Pichardie D.
Sighireanu M.
Место издания: 
Berlin
Издательство: 
Springer
Серия: 
Lecture Notes in Computer Science
Том: 
12389
Карточка: 

Static Analysis: Proc./27th International Symposium,, SAS 2020, Virtual Event, November 2020Ed. by Pichardie D., Sighireanu M..-Berlin.: Springer, 2020.-Vol. 12389.-381 p.-(Lecture Notes in Computer Science).