Вы здесь

Главная

Computer Aided Verification, Part II: Proc./31st International Conference, CAV 2019, New York City,NY,USA, July 2019

Количество экземпляров: 
1
Вид: 
Сборник или журнал
Год: 
2019
Ключевые слова: 
распределенная система
формальная логика
формальный метод
язык программирования
model checking
тестирование
выполнимость
время выполнения
runtime-verification
Стр.: 
549 p.
Редактор: 
Dillig I.
Tasiran S.
Место издания: 
Berlin
Издательство: 
Springer
Серия: 
Lecture Notes in Computer Science
Том: 
11562
Карточка: 

Computer Aided Verification, Part II: Proc./31st International Conference, CAV 2019, New York City,NY,USA, July 2019Ed. by Dillig I., Tasiran S..-Berlin.: Springer, 2019.-Vol. 11562.-549 p.-(Lecture Notes in Computer Science).