Вы здесь

Formal Methods: Proc./24th International Symposium, FM 2021, Virtual Event, November 2021

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

Formal Methods: Proc./24th International Symposium, FM 2021, Virtual Event, November 2021/Ed. by Huisman M., Pasareanu C., Zhan N..-Berlin.: Springer, 2021.-Vol. 13047.-800 p.-(Lecture Notes in Computer Science).