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

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

Журавлев, В. Е.
    О семантика электронных таблиц [Текст] / В.Е. Журавлев // Программирование. — 1988. — С. 13-20.

- Анотація:

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

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

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

  • УДК // Комп’ютерна наука і технологія. Застосування комп’ютера. Оброблення даних



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