Вы здесь

Главная

Tests and Proofs: Proc./13th International Conference, TAP 2019 Held as Part of the 3rd World Congress on Formal Methods 2019, Porto, Portugal, October 2019

Количество экземпляров: 
1
Вид: 
Сборник или журнал
Год: 
2019
Ключевые слова: 
computer aided
разработка по
формальная логика
model checking
решение проблем
язык программирования
спецификация
доказательство теорем
символьный
исполнение
Стр.: 
207 p.
Редактор: 
Beyer D.
Keller Ch.
Место издания: 
Berlin
Издательство: 
Springer
Серия: 
Lecture Notes in Computer Science
Том: 
11823
Карточка: 

Tests and Proofs: Proc./13th International Conference, TAP 2019 Held as Part of the 3rd World Congress on Formal Methods 2019, Porto, Portugal, October 2019Ed. by Beyer D., Keller Ch..-Berlin.: Springer, 2019.-Vol. 11823.-207 p.-(Lecture Notes in Computer Science).