Електронний каталог
Пошук
Відібрані
Формуляр
Опис документа
Сайт бібліотеки
Сайт ВНЗ
Українська
English
Увійти
Шифр читача:
Пароль:
Увійти
Відмінити
ERROR
Крывый, С. Л.
Формальные методы анализа дискретных систем с использованием языка спецификаций
[Текст] / С. Л. Крывый, А. В. Чугаенко
// Кибернетика и системный анализ. – 2009. – июль-август (№4). – С. 31-48.
ББК 22.183.4
Додати до списку
Теми документа
Ключові слова/А/Ал/алгоритми, алгоритмы, algorithms
Ключові слова/М/Мо/мов.../мови програмування, языки программирования, computer program language
Ключові слова/М/Мо/мов.../мова програмування, язык програмирования
Додати коментар
Інформаційно-пошукова система
'УФД/Бібліотека'