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

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

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

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

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

- Анотація:

Розглядається аналіз основних властивостей програм на базі апарату часових логік.

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

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

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



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