Вы здесь
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 2021Ed. by Dutle A., Moscato M.M., Titolo L., Munoz C. A..-Berlin.: Springer, 2021.-Vol. 12673.-402 p.-(Lecture Notes in Computer Science).