Вы здесь

NASA Formal Methods: Proc./13th International Conference, NFM 2021, Virtual Event, May 2021

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

NASA Formal Methods: Proc./13th International Conference, NFM 2021, Virtual Event, May 2021/Ed. by Dutle A., Moscato M.M., Titolo L., Munoz C. A..-Berlin.: Springer, 2021.-Vol. 12673.-402 p.-(Lecture Notes in Computer Science).