Вы здесь

Главная

21015

Связанные издания:

Cooperative Design, Visualization, and Engineering: Proc./18th International Conference, CDVE 2021, Virtual Event, October 2021
Частичная верификация программ на языке символьного процессора