Верификация и синтез эффективных программ стандартных функций в технологии предикатного программирования [Текст] / Шелехов В.И.
Випуск періодики: Программная инженерия. — 2011. — №2.Опис: с.14-21Мова: російська.УДК: 004.415.52УДК-теми: 00 Загальні питання науки і культури « 0 Загальний відділ. Тип одиниці: Статті періодики
Фонди: Статті періодики
Немає коментарів для цієї одиниці.