Поиск :
Личный кабинет :
Электронный каталог: Лапин, Э. С. - Формальное доказательство соответствия программной реализации используемых в системах контроля и ...
Лапин, Э. С. - Формальное доказательство соответствия программной реализации используемых в системах контроля и ...
Статья
Автор: Лапин, Э. С.
Известия высших учебных заведений. Горный журнал: Формальное доказательство соответствия программной реализации используемых в системах контроля и ...
б.г.
ISBN отсутствует
Автор: Лапин, Э. С.
Известия высших учебных заведений. Горный журнал: Формальное доказательство соответствия программной реализации используемых в системах контроля и ...
б.г.
ISBN отсутствует
На полку
Статья
Лапин, Э. С.
Формальное доказательство соответствия программной реализации используемых в системах контроля и управления моделей заданным требованиям / Э. С. Лапин, М. И. Абдрахманов // Известия высших учебных заведений. Горный журнал . – 2021 . – N 7 . – С. 99-108 .
Лапин, Э. С.
Формальное доказательство соответствия программной реализации используемых в системах контроля и управления моделей заданным требованиям / Э. С. Лапин, М. И. Абдрахманов // Известия высших учебных заведений. Горный журнал . – 2021 . – N 7 . – С. 99-108 .
Привязано к:
Доступно
1 из 1
Выпуск
Известия высших учебных заведений. Горный журнал N 7
2021 г.
ISBN отсутствует
Библиотека Горного : Научный ГИ
Известия высших учебных заведений. Горный журнал N 7
2021 г.
ISBN отсутствует
Библиотека Горного : Научный ГИ