СИСТЕМА ДОКАЗАТЕЛЬНОГО ПРОГРАММИРОВАНИЯ А. А. ЛЕТИЧЕВСКИЙ , М. К. МОРОХОВЕЦ, В. С. ПЕСЧАНЕНКО

За: Інтелектуальна відповідальність: Вид матеріалу: Стаття, складова частинаСтаття, складова частинаМова: російська Тип вмісту:
  • текст
Тип засобу:
  • прямий доступ
Тип носія:
  • аркуш
Інша класифікація:
  • 32.973.2-018
 У: УПРАВЛЯЮЩИЕ СИСТЕМЫ И МАШИНЫ. - 2012. - № 6. - С. 64-71
Мітки з цієї бібліотеки: Немає міток з цієї бібліотеки для цієї назви. Ввійдіть, щоб додавати мітки.
Оцінки зірочками
    Середня оцінка: 0.0 (0 голос.)
Фонди
Тип одиниці зберігання Поточна бібліотека Нумерування/хронологія Стан Примітки
Журнал Відділ зберігання основного фонду 2012. - No 6 Доступно УПР