Рекомендований матеріал: Підвищення ефективності програмних засобів автоматизованої верифікації результатів компіляції програмних проєктів критичних інформаційно-управляючих систем
Заповніть форму, приведену нижче, щоб порекомендувати цей матеріал комусь. Поля позначені зірочкою „*“ - обов’язкові.