Вы здесь

Computer Aided Verification, Part I: Proc./33rd International Conference, CAV 2021, Virtual Event, July 2021

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

Computer Aided Verification, Part I: Proc./33rd International Conference, CAV 2021, Virtual Event, July 2021/Ed. by Silva A., Leino K.R. M..-Berlin.: Springer, 2021.-Vol. 12759.-922 p.-(Lecture Notes in Computer Science).