Ниже приведен список материалов, найденных в базе данных SciNetwork, с ключевым словом «ДЕКЛАРАТИВНАЯ LTL-СПЕЦИФИКАЦИЯ».
SCI Библиотека: 3
Автор(ы):
Нейзов М. В., Кузьмин Е. В.
Автор(ы):
Нейзов М. В., Кузьмин Е. В.
Автор(ы):
Нейзов М. В., Кузьмин Е. В.
Статьи: 3
Автор(ы):
Нейзов М. В., Кузьмин Е. В.
Автор(ы):
Нейзов М. В., Кузьмин Е. В.
Автор(ы):
Нейзов М. В., Кузьмин Е. В.
Функция копирования доступна только авторизованным
пользователям. Зарегистрируйтесь или войдите в свой
аккаунт.