Вы здесь

Главная

Tools and Algorithms for the Construction and Analysis of Systems, Part I: Proc./26th International Conference, TACAS 2020 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 2020

Количество экземпляров: 
1
Вид: 
Сборник или журнал
Год: 
2020
Ключевые слова: 
спецификация
верификация
доказательство теорем
model checking
статический анализ
динамический анализ
анализ программ
тестирование
системное моделирование
ортехнология
трансформация
набор инструментов
tool architectures
абстрактный
методология
refinement-based
встроенная система
теория автоматов
Стр.: 
501 p.
Редактор: 
Biere A.
Parker D.
Место издания: 
Berlin
Издательство: 
Springer
Серия: 
Lecture Notes in Computer Science
Том: 
12078
Карточка: 

Tools and Algorithms for the Construction and Analysis of Systems, Part I: Proc./26th International Conference, TACAS 2020 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 2020Ed. by Biere A., Parker D..-Berlin.: Springer, 2020.-Vol. 12078.-501 p.-(Lecture Notes in Computer Science).