Верификация и синтез эффективных программ стандартных функций в технологии предикатного программирования [Текст] / Шелехов В.И.

Випуск періодики: Программная инженерия. — 2011. — №2.
Автор: Шелехов В. И.Опис: с.14-21Мова: російська.УДК: 004.415.52УДК-теми: 00 Загальні питання науки і культури « 0 Загальний відділ. Тип одиниці: Статті періодики
Мітки з цієї бібліотеки: Немає міток з цієї бібліотеки для цієї назви. Ввійдіть, щоб додавати мітки.
Оцінки зірочками
    середня оцінка: 0.0 (0 голосів)
Фонди: Статті періодики

Немає коментарів для цієї одиниці.

для можливості публікувати коментарі.
Поділитися