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

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

ГлибовецьмГлибовець, М. М.
    Опис складних систем інформації за допомогою часових логік [Текст] / М.М. Глибовець, М.Г. Медведєв // Вісник Київського університету імені Тараса Шевченка. — Київ : Київський університет, 1996. — 1996. — С. 106-114.

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

паралельне програмування, параллельное программирование ; темпоральна логіка, темпоральная логика

- Анотація:

Вводяться основні поняття і базові оператори часових логік.

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

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

  • Окремі фонди та колекції КНУ // праці авторів КНУТШ, труды авторов КНУТШ, работы авторов КНУТШ



Наявність
Установа Кількість Документ на сайті установи
Наукова бібліотека ім.М.Максимовича Київського національного університету імені Тараса Шевченка   Перейти на сайт