Навігатор :
Особистий кабінет:
Електронний каталог: Обзор современных систем и методов верификации формальных моделей [Текст]
Обзор современных систем и методов верификации формальных моделей [Текст]
![Обзор современных систем и методов верификации формальных моделей [Текст]](/opacunicode/img/doctypes/article.gif)
Стаття
Автор:
Проблеми програмування. Обзор современных систем и методов верификации формальных моделей [Текст]
б.г.
ISBN відсутній
Автор:
Проблеми програмування. Обзор современных систем и методов верификации формальных моделей [Текст]
б.г.
ISBN відсутній
На полицю
(UA) Стаття
Обзор современных систем и методов верификации формальных моделей [Текст] / А. В. Колчин, А. А. Летичевский, С. В. Потиенко, В. С. Песчаненко // Проблеми програмування. – 2012. – № 4. – С. 75─88 . – Те саме [Електронний ресурс]. – Режим доступу: електрон. чит. зал ПУЕТ.
Загальний = Модель
Загальний = Метод
Загальний = Забезпечення : програмне
Загальний = Програмування
Обзор современных систем и методов верификации формальных моделей [Текст] / А. В. Колчин, А. А. Летичевский, С. В. Потиенко, В. С. Песчаненко // Проблеми програмування. – 2012. – № 4. – С. 75─88 . – Те саме [Електронний ресурс]. – Режим доступу: електрон. чит. зал ПУЕТ.
Загальний = Модель
Загальний = Метод
Загальний = Забезпечення : програмне
Загальний = Програмування
Замовити