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

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

КрывыйссКрывый, С. С.
    Верификация программ: состояние, проблемы, результаты. І [Текст] / С.С. Крывый, А.Н. Максимец // Кибернетика и системный анализ : международный научно-теоретический журнал. — Киев, 1995. — № 1. — С. 3-14.

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

верифікація, верификация

- Анотація:

Представлено аналітичний огляд сучасних методів верифікації прогшрамного забезпечення послідовних, функціональних, паралельних та розподілених систем. Основну увагу приділено методам верифікації, на основі властивостей абстрактних інтерпретацій, традиційних систем, мереж

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

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

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



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