Можливо, ви намагаєтесь звернутися до цього сайту із захищеного браузера на сервері. Увімкніть сценарії та перезавантажте сторінку.
Увімкнення більш доступного режиму
Вимкнення більш доступного режиму
Пропустити команди стрічки
Перейти до основного вмісту
Вимкнути анімацію
Увімкнути анімацію
Увійти
Наукові публікації і видавнича діяльність НАН України
Книжкові видання
Методы алгебраического программирования: формальные методы разработки параллельных программ
Книжкове видання
Над виданням працювали
Анотації та інше
NAS Ukraine
Державні нагороди та відзнаки
НАН України
Академія пропонує
Апарат Президії НАН України
Аспірантури, докторантури
Багатотомне видання
Відділення
Діяльність
Доповідь на засіданні колегіального органу
Засідання колегіального органу
Кадри
Книжкова серія
Книжкове видання
Вибрано
Колегіальний орган
Конкурс
Конкурсна робота
Концепція
Міжнародне співробітництво
Нагороди
Наукові та науково-популярні заходи НАН України
Наукові та науково-прикладні розробки
Центри колективного користування приладами НАН України
Red
Інформаційне наповнення сайту
bcs
Над виданням працювали
Так
Так
20%,80%
Автор
Андон Пилип Іларіонович
©
Інститут програмних систем НАН України
, 2023