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

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

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

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

інтерпретація, интерпретация, interpretation ; верифікація, верификация

- Анотація:

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

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

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

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



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