Зведений каталог бібліотек Миколаєва

 
Пошук Відібрані Опис документа
Початкова сторінка Сайт УФД

519.686.2
Колчин, А. В.
    Оптимизация проверки выполнимости переходов при верификации формальных моделей [Текст] / А.В. Колчин // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 201-210.

- Ключові слова:

оптимізація, оптимизация ; перевірка, проверка

- Анотація:

В работе предложен метод повышения производительности проверки моделей.

- Є складовою частиною документів:

- Теми документа

  • УДК // Комп'ютерне програмування



Наявність
Установа Кількість Документ на сайті установи
Наукова бібліотека Миколаївського національного університету імені В. О. Сухомлинського