Вы здесь

Главная

Tests and Proofs: Proc./14th International Conference, TAP 2020, Held as Part of STAF 2020, Bergen, Norway, June 2020

Количество экземпляров: 
1
Вид: 
Сборник или журнал
Год: 
2020
Ключевые слова: 
computer aided
разработка по
формальная логика
model checking
решение проблем
язык программирования
семантика
эволюция по
спецификация
доказательство теорем
символическое выполнение
дизайн по
качество по
Стр.: 
181 p.
Редактор: 
Ahrendt W.
Wehrheim H.
Место издания: 
Berlin
Издательство: 
Springer
Серия: 
Lecture Notes in Computer Science
Том: 
12165
Карточка: 

Tests and Proofs: Proc./14th International Conference, TAP 2020, Held as Part of STAF 2020, Bergen, Norway, June 2020Ed. by Ahrendt W., Wehrheim H..-Berlin.: Springer, 2020.-Vol. 12165.-181 p.-(Lecture Notes in Computer Science).