Зведений каталог бібліотек Харкова

 

Баранов, С. Н.
    Проверка корректности требований к программным системам, представленным атрибутными транзиционными системами [Текст] / С.Н. Баранов, В.А. Волков, А.В.и Годлевскай // Кибернетика и системный анализ : междунар.науч.-теоретич.журнал. — К., 2003. — 6. — С.3-12.


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

доказательство теорем ; програмні системи, программные системы, program systems

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

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

  • УДК // Вимірювальні інформаційні системи
  • УДК // Протиправні дії щодо держави
  • УДК // Теорія функцій



Наявність
Установа Кількість Документ на сайті установи
Науково-технічна бібліотека Національного аерокосмічного університету ім. М.Є. Жуковського   Перейти на сайт
Наукова бібліотека Харківського національного університету радіоелектроніки   Перейти на сайт