Вы здесь

Automated Technology for Verification and Analysis: Proc./17th International Symposium, ATVA 2019, Taipei, Taiwan, October 2019

Количество экземпляров: 
1
Вид: 
Сборник или журнал
Год: 
2019
Стр.: 
552 p.
Место издания: 
Издательство: 
Том: 
11781
Карточка: 

Automated Technology for Verification and Analysis: Proc./17th International Symposium, ATVA 2019, Taipei, Taiwan, October 2019/Ed. by Chen Y. -F., Cheng C. -H., Esparza J..-Berlin.: Springer, 2019.-Vol. 11781.-552 p.-(Lecture Notes in Computer Science).