Вы здесь

Главная

Verified Software: Theories, Tools, and Experiments: Revised Selected Papers/11th International Conference, VSTTE 2019, New York City, NY,USA, July 2019

Количество экземпляров: 
1
Вид: 
Сборник или журнал
Год: 
2020
Ключевые слова: 
формальная верификация
модель вычислений
формальный метод
статический анализ
семантика
доказательство
отладка по
тестирование по
верификация
легализация
архитектура
распределенная система
встроенная система
формальная логика
разработка по
качество по
Стр.: 
193 p.
Редактор: 
Chakraborty S.
Navas J.A.
Место издания: 
Berlin
Издательство: 
Springer
Серия: 
Lecture Notes in Computer Science
Том: 
12031
Карточка: 

Verified Software: Theories, Tools, and Experiments: Revised Selected Papers/11th International Conference, VSTTE 2019, New York City, NY,USA, July 2019Ed. by Chakraborty S., Navas J.A..-Berlin.: Springer, 2020.-Vol. 12031.-193 p.-(Lecture Notes in Computer Science).