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

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

51.681.3
Крывый, С. Л.
    Разработка и обоснование алгоритмов на основе семантических свойств [Текст] / С.Л. Крывый, А.Н. Максимец // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 151-159.

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

обгрунтування, обоснование ; Формальні методи програмування ; розробка, разработка ; Проблеми програмування № 2-3 2014 ; алгоритми, алгоритмы ; 51,В 1, Математика

- Анотація:

Приводятся примеры разработки и обоснования алгоритмов на основе использования свойств предметной области.

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

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

  • УДК // Математика



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