Перегляд Технологія семантико-числової верифікації часопараметризованих паралельних програм для інформаційних і управляючих систем

Повернутися до подробиць випуску Технологія семантико-числової верифікації часопараметризованих паралельних програм для інформаційних і управляючих систем Завантажити Завантажити PDF